Re: [isabelle] Isabelle2015-RC0 available for testing

It would be nice to have a concrete version (i.e., changeset id) of the AFP to test against, since most of my work is built on top of the AFP.

Otherwise I can only test the RC against contrived examples.



On 04/11/2015 09:49 PM, Makarius wrote:
Dear Isabelle users,

we are heading towards Isabelle2015, hopefully to appear at the end of
May 2015. To get started with public testing of release candidates there
is now

RC0 is still relatively early in the process: the website has no content
yet, and some documentation is not yet updated.  The NEWS file is
already ready for inspection (using the tree-view of Sidekick).

Any problems, observations etc. can be discussed here on the mailing
list. Quite often a change of behaviour is perceived as a problem, and
sometimes it is one, sometimes not.  In any case, open discussion helps
to figure out what is potentially confusing to users.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.