lib/fonts/isabelle14.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 Sigma glyph;
1997-03-07 wenzelm 1997-03-07 now sans serifs;
1997-03-07 wenzelm 1997-03-07 tuned;
1997-03-07 wenzelm 1997-03-07 renamed, improved, augmented version of isabelle fonts;