[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
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