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";
|
file |
diff |
annotate
|
Sat, 24 Nov 2018 15:41:22 +0100 |
wenzelm |
spontaneous update of .sfd files due to fontforge;
|
file |
diff |
annotate
|
Sat, 13 Jan 2018 21:41:36 +0100 |
wenzelm |
added glyph from "Deja Vu Sans Mono" font;
|
file |
diff |
annotate
|
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);
|
file |
diff |
annotate
|
Tue, 30 Aug 2016 14:47:23 +0200 |
wenzelm |
added glyph from "Deja Vu Sans Mono" font;
|
file |
diff |
annotate
|
Fri, 12 Aug 2016 16:49:29 +0200 |
wenzelm |
some icons from Symbola font;
|
file |
diff |
annotate
|
Sat, 27 Feb 2016 21:04:13 +0100 |
wenzelm |
symbol interpretation for \<circle>;
|
file |
diff |
annotate
|
Sat, 02 Jan 2016 20:28:20 +0100 |
wenzelm |
tuned spacing of \<partial>;
|
file |
diff |
annotate
|
Fri, 01 Jan 2016 11:07:29 +0100 |
wenzelm |
glyphs for \<bind>, \<then>;
|
file |
diff |
annotate
|
Thu, 31 Dec 2015 12:20:10 +0100 |
wenzelm |
proper diamond from lasy10;
|
file |
diff |
annotate
|
Tue, 29 Dec 2015 21:51:58 +0100 |
wenzelm |
more arrow symbols;
|
file |
diff |
annotate
|
Tue, 29 Dec 2015 20:58:18 +0100 |
wenzelm |
more arrow symbols;
|
file |
diff |
annotate
|
Sat, 07 Nov 2015 12:53:22 +0100 |
wenzelm |
added @{undefined} with somewhat undefined symbol;
|
file |
diff |
annotate
|
Fri, 06 Nov 2015 19:37:51 +0100 |
wenzelm |
added glyphs 0x204b, 0x2b1a from DejaVuSansMono;
|
file |
diff |
annotate
|
Wed, 04 Nov 2015 22:08:07 +0100 |
wenzelm |
added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015;
|
file |
diff |
annotate
|