[isabelle-dev] jedit_build-20120313

Makarius makarius at sketis.net
Tue Mar 13 23:54:13 CET 2012

Dear early adopters of Isabelle/jEdit,

current Isabelle/3444a24dc4e9 requires jedit_build-20120313 -- it contains 
the new jedit-4.5.0 and updated plugins.  See 
http://www4.in.tum.de/~wenzelm/test/jedit_build-20120313.tar.gz as usual.

It works with scala-2.8.2.final or the latest scala-2.9.1-1, and JRE/JDK 
1.6 or 1.7 from Oracle, probably also OpenJDK 1.7 (not 1.6!).

isatest uses jedit_build-20120313 and scala-2.8.2.final to produce "the" 
development snapshot http://isabelle.in.tum.de/devel/


More information about the isabelle-dev mailing list