Fri, 12 Feb 1999 14:40:56 +0100 | oheimb | renamed space2 to spacespace | file | diff | annotate |
Wed, 30 Apr 1997 12:13:17 +0200 | wenzelm | improved the space2 glyph; | file | diff | annotate |
Tue, 29 Apr 1997 16:39:13 +0200 | wenzelm | added new chars; | file | diff | annotate |
Tue, 11 Mar 1997 17:20:59 +0100 | wenzelm | tuned glyphs; | file | diff | annotate |
Fri, 07 Mar 1997 09:49:28 +0100 | wenzelm | renamed, improved, augmented version of isabelle fonts; | file | diff | annotate |