Tue, 12 Jul 2011 11:19:42 +0200 | wenzelm | glyphs from DejaVu for ASCII control characters 5, 6, 7, 127, which have a special meaning in Isabelle or Poly/ML; | file | diff | annotate |
Tue, 21 Jun 2011 22:40:30 +0200 | wenzelm | some arrow symbols from DejaVuSansMono for bsub/esub/bsup/esup; | file | diff | annotate |
Sun, 19 Jun 2011 14:36:06 +0200 | wenzelm | added glyphs 21e0..21e4, 21e6..21e9, 2759 from DejaVuSansMono; | file | diff | annotate |
Sun, 05 Dec 2010 15:23:33 +0100 | wenzelm | IsabelleText font: include Cyrillic, Hebrew, Arabic from DejaVu Sans 2.32; | file | diff | annotate |
Fri, 05 Feb 2010 20:19:40 +0100 | wenzelm | eliminated self intersection and non-integer coordinates; | 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 |