[isabelle] Re2: how to transform *.thy to *.pdf in Isabelle?
- To: cl-isabelle-users at lists.cam.ac.uk
- Subject: [isabelle] Re2: how to transform *.thy to *.pdf in Isabelle?
- From: "Jens Doll" <jd at cococo.de>
- Date: Sun, 5 Apr 2009 20:56:24 +0200
- In-reply-to: <email@example.com>
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
This archive was generated by a fusion of
Pipermail (Mailman edition) and