[isabelle-dev] jedit_build update
makarius at sketis.net
Tue Jun 21 17:06:42 CEST 2011
The current Isabelle/7b7baa283434 requires
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