lib/fonts/IsabelleTextBold.sfd
Sat, 24 Nov 2018 15:54:53 +0100 wenzelm proper superscript "-1", based on "Deja Vu Sans Condensed" U+207b/U+00b9, with bold version via "Change Weight / Embolden by 80 em units";
Sat, 24 Nov 2018 15:41:22 +0100 wenzelm spontaneous update of .sfd files due to fontforge;
Sat, 13 Jan 2018 21:41:36 +0100 wenzelm added glyph from "Deja Vu Sans Mono" font;
Sat, 30 Dec 2017 21:46:19 +0100 wenzelm more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);
Tue, 30 Aug 2016 14:47:23 +0200 wenzelm added glyph from "Deja Vu Sans Mono" font;
Fri, 12 Aug 2016 16:49:29 +0200 wenzelm some icons from Symbola font;
Sat, 27 Feb 2016 21:04:13 +0100 wenzelm symbol interpretation for \<circle>;
Sat, 02 Jan 2016 20:28:20 +0100 wenzelm tuned spacing of \<partial>;
Fri, 01 Jan 2016 11:07:29 +0100 wenzelm glyphs for \<bind>, \<then>;
Thu, 31 Dec 2015 12:20:10 +0100 wenzelm proper diamond from lasy10;
Tue, 29 Dec 2015 21:51:58 +0100 wenzelm more arrow symbols;
Tue, 29 Dec 2015 20:58:18 +0100 wenzelm more arrow symbols;
Sat, 07 Nov 2015 12:53:22 +0100 wenzelm added @{undefined} with somewhat undefined symbol;
Fri, 06 Nov 2015 19:37:51 +0100 wenzelm added glyphs 0x204b, 0x2b1a from DejaVuSansMono;
Wed, 04 Nov 2015 22:08:07 +0100 wenzelm added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015;
Wed, 21 Oct 2015 16:54:15 +0200 wenzelm added glyphs 0x25a9 from DejaVuSansMono;
Wed, 14 Oct 2015 14:15:13 +0200 wenzelm added glyphs 0x21e4, 0x21e5, 0x27a7 from DejaVuSansMono;
Mon, 12 Oct 2015 15:41:30 +0200 wenzelm added glyphs 0x2501, 0x2508, 0x2509, 0x25aa, 0x25b8 from DejaVuSansMono;
Fri, 09 Oct 2015 19:51:20 +0200 wenzelm installable TTF for MS IE 9+;
Wed, 07 Oct 2015 19:45:00 +0200 wenzelm more glyphs from DejaVuSansMono and DejaVuSansMono-Bold: 0100-017F Latin Extended-A, 0180-024F Latin Extended-B;
Wed, 08 Apr 2015 21:08:26 +0200 wenzelm added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);
Mon, 17 Feb 2014 21:37:41 +0100 wenzelm always show PIDE positions as \<here> (0x002302 "House" from DejaVuSansMono);
Wed, 15 Jan 2014 23:25:28 +0100 wenzelm added \<newline> symbol, which is used for char/string literals in HOL;
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;
less more (0) -30 tip