Re: [isabelle] Isabelle2014-RC0 available for testing

On Tue, 22 Jul 2014, Lars Hupel wrote:

Such focus problems are always annoying, and there are 3 main
possibilities / responsibilities for the cause: Java/Oracle, jEdit,

It doesn't happen for me when I open a jEdit instance from the contrib

$ cd .isabelle/contrib/jedit_build-20140511/contrib/jedit-5.1.0-patched
$ java -jar jedit.jar

Which version of Java is the "java" above?


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