Re: [isabelle] Isabelle2012-RC1 available for testing
On Fri, 4 May 2012, Jasmin Blanchette wrote:
Sometimes clicking the Isabelle icon pops up the Isabelle splash screen
and then just silently dies. All these issues appear to be due to some
low-level system failure, probably related to the little resources
allocated to that VirtualBox installation.
Maybe it just takes very long to startup. There are two stages:
* "Isabelle" splash: the .exe wrapper is starting up a JVM with
* "jEdit" splash: jEdit is starting up within the usual Isabelle
There is a timeout on the "Isabelle" splash, so it might disappear before
the rest is coming up.
It is also possible to open the Cygwin-Terminal and run "isabelle jedit",
which might show errors better, although the Java based startup should
display errors as well (hopefully).
This archive was generated by a fusion of
Pipermail (Mailman edition) and