[isabelle] Isabelle2013-2-RC1 available for testing

Dear Isabelle users,

this is another attempt to make a stable release of Isabelle this autumn:


This is presumably the only release candidate before final lift-off of Isabelle2013-2 in the first days of December.

Notable changes versus Isabelle2013-1 (from NEWS):

*** Prover IDE -- Isabelle/Scala/jEdit ***

* More robust editing of running commands with internal forks,
e.g. non-terminating 'by' steps.

* More relaxed Sledgehammer panel: avoid repeated application of query
after edits surrounding the command location.

There should not be any incompatibilites wrt. Isabelle2013-1, which means everybody who is already on the latest release can try out the new release candidate without any extra efforts.

See also https://bitbucket.org/isabelle_project/isabelle-release for the main website where the Isabelle release process is formally organized. There is also a link to an issue tracker on this Bitbucket site.

Observations from testing release candidates may be discussed here on isabelle-users (not isabelle-dev), on the bitbucket tracker, or via private mail.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.