lib/fonts/IsabelleTextBold.ttf
Sat, 24 Aug 2013 00:06:53 +0200 wenzelm more faithful representation of U+2983 and U+2984 as "white" curly braces -- based on braces and bar from cmsy10.pfb;
Wed, 21 Aug 2013 21:41:44 +0200 wenzelm prefer text version of single angle quotation marks: U+2039 and U+203A from DejaVuSansMono;
Thu, 27 Jun 2013 17:36:06 +0200 wenzelm proper bold versions of 00ac (logicalnot), 00b0 (degree);
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;
Tue, 21 Jun 2011 22:40:30 +0200 wenzelm some arrow symbols from DejaVuSansMono for bsub/esub/bsup/esup;
Sun, 19 Jun 2011 14:36:06 +0200 wenzelm added glyphs 21e0..21e4, 21e6..21e9, 2759 from DejaVuSansMono;
Sun, 05 Dec 2010 15:23:33 +0100 wenzelm IsabelleText font: include Cyrillic, Hebrew, Arabic from DejaVu Sans 2.32;
Tue, 12 Jan 2010 22:23:29 +0100 wenzelm rebuilt from fresh copy of Bitstream Vera, for improved quality of regular text glyphs;
Sat, 05 Dec 2009 18:42:45 +0100 wenzelm version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
less more (0) tip