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
