[isabelle] Re2: how to transform *.thy to *.pdf in Isabelle?



The Isabelle font is a nuisance on Windows machines. Dspdf.dll says, it 
could not receive data from the font.
Some tests with FontCreator found evil characters: CB, CC, CD, 15C until 
161 and 16C. 
There are also a lot of intersecting components and extreme coordinates in 
the glyphs.

Jens





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.