2016-01-01 wenzelm 2016-01-01 glyphs for \<bind>, \<then>;
2015-12-31 wenzelm 2015-12-31 proper diamond from lasy10;
2015-12-29 wenzelm 2015-12-29 more arrow symbols;
2015-12-29 wenzelm 2015-12-29 more arrow symbols;
2015-11-07 wenzelm 2015-11-07 added @{undefined} with somewhat undefined symbol;
2015-11-06 wenzelm 2015-11-06 added glyphs 0x204b, 0x2b1a from DejaVuSansMono;
2015-11-04 wenzelm 2015-11-04 added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015;
2015-10-21 wenzelm 2015-10-21 added glyphs 0x25a9 from DejaVuSansMono;
2015-10-14 wenzelm 2015-10-14 added glyphs 0x21e4, 0x21e5, 0x27a7 from DejaVuSansMono;
2015-10-12 wenzelm 2015-10-12 added glyphs 0x2501, 0x2508, 0x2509, 0x25aa, 0x25b8 from DejaVuSansMono;
2015-10-09 wenzelm 2015-10-09 installable TTF for MS IE 9+;
2015-10-07 wenzelm 2015-10-07 more glyphs from DejaVuSansMono and DejaVuSansMono-Bold: 0100-017F Latin Extended-A, 0180-024F Latin Extended-B;
2015-04-08 wenzelm 2015-04-08 added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);
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;
2013-06-27 wenzelm 2013-06-27 proper bold versions of 00ac (logicalnot), 00b0 (degree);
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-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;