Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2015-RC5 available for final testing


view this post on Zulip Email Gateway (Aug 22 2022 at 09:51):

From: Makarius <makarius@sketis.net>
Dear Isabelle users,

Isabelle2015-RC5 is now available:

http://isabelle.in.tum.de/website-Isabelle2015-RC5

Changes can be inspected formally here:

https://bitbucket.org/isabelle_project/isabelle-release/commits

Here is an informal summary of notable points:

- avoid crash of print_simpset
- clarified name space accesses for local entities within "context begin ... end"
- further tuning of Eisbach implementation
- added Eisbach User Manual

People who have tested earlier release candidates should upgrade now.
Local settings can be preserved by copying $ISABELLE_HOME_USER in a
suitable manner: renaming the last component of the directory name to
Isabelle2015-RC5 before executing the new version.

This is the last release candidate, before Isabelle2015 is finalized,
presumably in 1 week. Any remaining and unreported problems of
Isabelle2015-RC5 will thus become final as well!

Makarius

view this post on Zulip Email Gateway (Aug 22 2022 at 09:52):

From: Alfio Martini <alfio.martini@acm.org>
Hi Makarius & Jasmin,

I am happy to report that, in this version, sledgehammer is performing very
well and fast on Windows. Thanks a lot for taking into consideration my
confusing reports.

Best!

view this post on Zulip Email Gateway (Aug 22 2022 at 09:52):

From: Jasmin Blanchette <jasmin.blanchette@inria.fr>
Hi Alfio,

That’s great news! Thanks for the update.

Cheers,

Jasmin


Last updated: Mar 28 2024 at 12:29 UTC