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.

cheers

chris

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 http://isabelle.in.tum.de/website-Isabelle2015-RC0

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.


     Makarius





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