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



Hi,

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.

Best
    Benedikt

Am 24.11.2013 19:45, schrieb Makarius:
Dear Isabelle users,

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

  http://isabelle.in.tum.de/website-Isabelle2013-2-RC1

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.


    Makarius






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