| Mon, 17 Feb 2014 21:37:41 +0100 |
wenzelm |
always show PIDE positions as \<here> (0x002302 "House" from DejaVuSansMono);
|
file |
diff |
annotate
|
| Wed, 15 Jan 2014 23:25:28 +0100 |
wenzelm |
added \<newline> symbol, which is used for char/string literals in HOL;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Wed, 21 Aug 2013 21:41:44 +0200 |
wenzelm |
prefer text version of single angle quotation marks: U+2039 and U+203A from DejaVuSansMono;
|
file |
diff |
annotate
|
| Thu, 27 Jun 2013 17:36:06 +0200 |
wenzelm |
proper bold versions of 00ac (logicalnot), 00b0 (degree);
|
file |
diff |
annotate
|
| 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
|
| 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
|