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,
Isabelle/jEdit.

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

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

Which version of Java is the "java" above?


	Makarius




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