lib/fonts/isabelle24.bdf
1997-04-30 wenzelm 1997-04-30 improved the space2 glyph;
1997-04-29 wenzelm 1997-04-29 added new chars;
1997-03-11 wenzelm 1997-03-11 tuned glyphs;
1997-03-07 wenzelm 1997-03-07 renamed, improved, augmented version of isabelle fonts;