On Sat, 23 Aug 2008, Makarius wrote: > * Homegrown Isabelle font with unicode layout, see Isabelle/lib/fonts.
Further font experiments are available here: http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/isabelle-fonts/ A version of this material will show up in the Isabelle distribution eventually. At the moment I would like to avoid committing different versions of "blobs" in the CVS. Makarius