2014-02-17 wenzelm 2014-02-17 always show PIDE positions as \<here> (0x002302 "House" from DejaVuSansMono);
2014-01-15 wenzelm 2014-01-15 added \<newline> symbol, which is used for char/string literals in HOL;
2013-08-24 wenzelm 2013-08-24 more faithful representation of U+2983 and U+2984 as "white" curly braces -- based on braces and bar from cmsy10.pfb;
2013-08-21 wenzelm 2013-08-21 prefer text version of single angle quotation marks: U+2039 and U+203A from DejaVuSansMono;
2011-07-12 wenzelm 2011-07-12 glyphs from DejaVu for ASCII control characters 5, 6, 7, 127, which have a special meaning in Isabelle or Poly/ML;
2011-06-21 wenzelm 2011-06-21 some arrow symbols from DejaVuSansMono for bsub/esub/bsup/esup;
2011-06-19 wenzelm 2011-06-19 added glyphs 21e0..21e4, 21e6..21e9, 2759 from DejaVuSansMono;
2010-12-05 wenzelm 2010-12-05 IsabelleText font: include Cyrillic, Hebrew, Arabic from DejaVu Sans 2.32;
2010-02-05 wenzelm 2010-02-05 eliminated self intersection and non-integer coordinates;
2010-01-12 wenzelm 2010-01-12 rebuilt from fresh copy of Bitstream Vera, for improved quality of regular text glyphs; misc cleanup of mathematical glyphs, with bold version synthesized by fontforge;
2009-12-05 wenzelm 2009-12-05 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;