lib/fonts/isabelle24.bdf
Fri, 12 Feb 1999 14:40:56 +0100 oheimb renamed space2 to spacespace
Wed, 30 Apr 1997 12:13:17 +0200 wenzelm improved the space2 glyph;
Tue, 29 Apr 1997 16:39:13 +0200 wenzelm added new chars;
Tue, 11 Mar 1997 17:20:59 +0100 wenzelm tuned glyphs;
Fri, 07 Mar 1997 09:49:28 +0100 wenzelm renamed, improved, augmented version of isabelle fonts;
less more (0) tip