Email Gateway (Aug 18 2022 at 13:19): Email Gateway (Aug 18 2022 at 13:19):From: Jens Doll <jd@cococo.de>
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
Email Gateway (Aug 18 2022 at 13:20):From: Makarius <makarius@sketis.net>
What exactly do you mean by "The Isabelle font"? Which file?
If you refer to the semi-official ttf versions that are shipped with Proof
General and recent Isabelle distributions: they have been produced with
fontforge, see http://fontforge.sourceforge.net/
Maybe you can figure out some options to fontforge to make windows
complain less.
Makarius
Last updated: May 03 2024 at 08:18 UTC