| Tue, 29 Apr 1997 16:39:13 +0200 | wenzelm | added new chars; | file | diff | annotate |
| Tue, 11 Mar 1997 17:20:31 +0100 | wenzelm | tuned Sigma glyph; | file | diff | annotate |
| Fri, 07 Mar 1997 14:31:00 +0100 | wenzelm | now sans serifs; | file | diff | annotate |
| Fri, 07 Mar 1997 13:47:37 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 07 Mar 1997 09:49:28 +0100 | wenzelm | renamed, improved, augmented version of isabelle fonts; | file | diff | annotate |