The following update of the jedit_build component is not essential, but itmakes things work for Java 1.7:


http://www4.in.tum.de/~wenzelm/test/jedit_build-20111217.tar.gz

See alsohttp://isabelle.in.tum.de/repos/isabelle/file/3d0416135efb/src/Tools/jEdit/README_BUILD



        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

[isabelle-dev] jedit_build update

Reply via email to