Re: [isabelle] Isabelle2013-2-RC1 available for testing
By the way, I could reproduce this under Linux on the same machine (a
little less frequent) and could reproduce it under OS X on a different
machine only when letting the non-terminating command run for a while.
This also left me with a runaway process under OS X which I had to
terminate manually after exiting Isabelle/Jedit.
Am 25.11.13 07:29, schrieb bnord:
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
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
Observations from testing release candidates may be discussed here on
isabelle-users (not isabelle-dev), on the bitbucket tracker, or via
This archive was generated by a fusion of
Pipermail (Mailman edition) and