2015-12-29 ago more arrow symbols;
2015-12-29 ago more arrow symbols;
2015-11-07 ago added @{undefined} with somewhat undefined symbol;
2015-11-06 ago added glyphs 0x204b, 0x2b1a from DejaVuSansMono;
2015-11-04 ago added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015;
2015-10-21 ago added glyphs 0x25a9 from DejaVuSansMono;
2015-10-14 ago added glyphs 0x21e4, 0x21e5, 0x27a7 from DejaVuSansMono;
2015-10-12 ago added glyphs 0x2501, 0x2508, 0x2509, 0x25aa, 0x25b8 from DejaVuSansMono;
2015-10-09 ago installable TTF for MS IE 9+;
2015-10-07 ago more glyphs from DejaVuSansMono and DejaVuSansMono-Bold: 0100-017F Latin Extended-A, 0180-024F Latin Extended-B;
2015-04-08 ago added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);
2014-02-17 ago always show PIDE positions as \<here> (0x002302 "House" from DejaVuSansMono);
2014-01-15 ago added \<newline> symbol, which is used for char/string literals in HOL;
2013-08-24 ago more faithful representation of U+2983 and U+2984 as "white" curly braces -- based on braces and bar from cmsy10.pfb;
2013-08-21 ago prefer text version of single angle quotation marks: U+2039 and U+203A from DejaVuSansMono;
2013-06-27 ago proper bold versions of 00ac (logicalnot), 00b0 (degree);
2011-07-12 ago glyphs from DejaVu for ASCII control characters 5, 6, 7, 127, which have a special meaning in Isabelle or Poly/ML;
2011-06-21 ago some arrow symbols from DejaVuSansMono for bsub/esub/bsup/esup;
2011-06-19 ago added glyphs 21e0..21e4, 21e6..21e9, 2759 from DejaVuSansMono;
2010-12-05 ago IsabelleText font: include Cyrillic, Hebrew, Arabic from DejaVu Sans 2.32;
2010-01-12 ago rebuilt from fresh copy of Bitstream Vera, for improved quality of regular text glyphs;
2009-12-05 ago version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;