lib/fonts/README
Thu, 11 Dec 2008 22:38:00 +0100 wenzelm incorporated isabelle-fonts side-branch (forced merge);
Fri, 22 Aug 2008 18:31:02 +0200 wenzelm added README with original licenses;
Fri, 15 Aug 2008 16:08:08 +0200 wenzelm added README;
Tue, 11 Mar 1997 14:44:25 +0100 wenzelm Note on fonts and remote X11;
less more (0) tip