[isabelle-dev] jedit_build update

Makarius makarius at sketis.net
Tue Jun 21 17:06:42 CEST 2011

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).


More information about the isabelle-dev mailing list