[isabelle] Isabelle2015-RC0 available for testing

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.


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