[isabelle-dev] Isabelle/jEdit font styles

Makarius makarius at sketis.net
Sun Jun 19 23:31:10 CEST 2011

In the past few days I've made some significant progress in the display of 
sub/superscripts and bold face in the jEdit text view.  (I have actually 
replaced the main part of the text rendering component by my own version, 
which was reasonably easy thanks to the open-minded "Isar" like 
architecture of jEdit.)

The resulting version of Isabelle/jEdit is in Isabelle/3d42dea16357 (which 
contains an updated README).  It requires the current 
http://www4.in.tum.de/~wenzelm/test/jedit_build-20110619.tar.gz for 
building it properly.

It is important to delete (or update) any copies of the IsabelleText.ttf 
that might have been installed on the system in the past.  Otherwise the 
funny unicode control characters will be unavailable when shown in 

The next nightly snapshot (>= 20-Jun-2011) should also contain a fully 
integrated version of Isabelle/jEdit, unless the automatic build fails.


More information about the isabelle-dev mailing list