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
     isabelle.Main class

  * "jEdit" splash: jEdit is starting up within the usual Isabelle
     environment

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).


	Makarius





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