lib/fonts/isabelle14.bdf
1999-02-12 oheimb 1999-02-12 renamed space2 to spacespace
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;