| 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 |