Dear early adopters of ongoing Isabelle/jEdit development,
the version in Isabelle/d6a1b5aeb4b1 requires http://www4.in.tum.de/~wenzelm/test/jedit_build-20120414.tar.gz
in order to build from the repository. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev