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;