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/
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
