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;