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