Re: [isabelle] Isabelle2013-2-RC1 available for testing


when trying the "lemma False by (intro TrueE)" example on Windows many times the whole Isabelle interaction seems to freeze, everything from the previous command becomes a light-gray-pinkish background and there is no Isabelle output/response whatsoever. Sometimes after running for several minutes in the background the process seems to recover somehow.


Am 24.11.2013 19:45, schrieb Makarius:
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 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.