Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2015-RC4 available for testing

Email Gateway (Aug 22 2022 at 09:45):

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

Isabelle2015-RC4 is now available for continued testing before the final
release:

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

Changes can be inspected formally here:

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

This is an informal summary of notable points:

• update of CVC4 component for Windows
• allow Windows UNC path names: //server/share/directory
• more robust datatype construction
• uniform invocation of sledgehammer command vs. panel (concerning suppressed warnings etc.)
• avoid redundant edits due to buffer properties change
• avoid sporadic deadlock of SideKick parser
• SideKick: proper filtering of entries

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-RC4 before starting the new version.

The main forum for discussion is here on isabelle-users, but it is also
possible to contact the person who is responsible for particular Isabelle
tools via private mail -- better than keeping potential problems private.

When reporting problems, the subject line should be changed to something
meaningful, such that the mailing list traffic becomes more manageable.

Makarius

Last updated: Apr 20 2024 at 04:19 UTC