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
cleartext.
The next nightly snapshot (>= 20-Jun-2011) should also contain a fully
integrated version of Isabelle/jEdit, unless the automatic build fails.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
