| Sun, 05 Dec 2010 15:23:33 +0100 | wenzelm | IsabelleText font: include Cyrillic, Hebrew, Arabic from DejaVu Sans 2.32; | file | diff | annotate |
| Tue, 12 Jan 2010 22:23:29 +0100 | wenzelm | rebuilt from fresh copy of Bitstream Vera, for improved quality of regular text glyphs; | file | diff | annotate |
| Sat, 05 Dec 2009 18:42:45 +0100 | wenzelm | version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera; | file | diff | annotate |