The current Isabelle/7b7baa283434 requires
http://www4.in.tum.de/~wenzelm/test/jedit_build-20110620.tar.gz for
building jedit from the repository.
This is only relevant for people who want to experiment with cutting edge
versions -- e.g. seeing fancy bold face, sub, superscripts or even define
their own symbol fonts (such as STIX) -- and can't wait until the next
automatic snapshot is produced by isatest (which will appear on
http://isabelle.in.tum.de/devel/ as usual).
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
