lib/fonts/isacr14.bdf
Fri, 21 Feb 1997 15:15:26 +0100 wenzelm removed empty line (which broke xfedor);
Mon, 02 Dec 1996 18:22:22 +0100 wenzelm isabelle symbol fonts;
less more (0) tip