lib/fonts/isabelle14.bdf
Fri, 07 Mar 1997 14:31:00 +0100 wenzelm now sans serifs;
Fri, 07 Mar 1997 13:47:37 +0100 wenzelm tuned;
Fri, 07 Mar 1997 09:49:28 +0100 wenzelm renamed, improved, augmented version of isabelle fonts;
less more (0) tip