doc-src/System/fonts.tex
Mon, 12 Jan 1998 15:47:43 +0100 wenzelm tuned;
Thu, 08 Jan 1998 18:25:36 +0100 wenzelm updated to Isabelle98;
Mon, 22 Sep 1997 17:37:24 +0200 wenzelm added Cambridge fs;
Wed, 21 May 1997 17:11:46 +0200 wenzelm release version (sort of);
Tue, 20 May 1997 19:34:24 +0200 wenzelm under construction;
Fri, 16 May 1997 15:57:11 +0200 wenzelm still under construction!
Wed, 14 May 1997 19:27:21 +0200 wenzelm preliminary!
less more (0) tip