makarius at sketis.net
Mon Aug 25 15:09:45 CEST 2008
On Sat, 23 Aug 2008, Makarius wrote:
> * Homegrown Isabelle font with unicode layout, see Isabelle/lib/fonts.
Further font experiments are available here:
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.
More information about the isabelle-dev