[isabelle-dev] jedit_build update

[Makarius]

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