[isabelle-dev] NEWS

Makarius 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 mailing list