lib/fonts/isacr14.bdf
1997-02-21 wenzelm 1997-02-21 removed empty line (which broke xfedor);
1996-12-02 wenzelm 1996-12-02 isabelle symbol fonts;