Email Gateway (Aug 22 2022 at 16:10): Email Gateway (Aug 22 2022 at 16:10):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the coming Isabelle2017 release is scheduled for the second week of
October 2017. Thus there is still some time left for testing of release
candidates, presently http://isabelle.in.tum.de/website-Isabelle2017-RC3
Everything should be now ready and complete, including the "system" and
"jedit" manuals.
The corresponding repository versions of Isabelle and AFP are
https://bitbucket.org/isabelle_project/isabelle-release/commits/4f73201b8043
and
https://bitbucket.org/isa-afp/afp-devel/commits/dcf4dc3a3594
See also http://sketis.net/2017/release-candidates-for-isabelle2017 for
notable changes within the line of release candidate.
When posting problems, observations, suggestions, etc. the mail
subject line should be changed to something meaningful, and the
particular Isabelle version given in the message body.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC