doc-src/System/fonts.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
1999-10-18 wenzelm 1999-10-18 tuned;
1999-10-13 wenzelm 1999-10-13 updated;
1998-08-24 wenzelm 1998-08-24 emacs local vars;
1998-01-12 wenzelm 1998-01-12 tuned;
1998-01-08 wenzelm 1998-01-08 updated to Isabelle98;
1997-09-22 wenzelm 1997-09-22 added Cambridge fs;
1997-05-21 wenzelm 1997-05-21 release version (sort of);
1997-05-20 wenzelm 1997-05-20 under construction;
1997-05-16 wenzelm 1997-05-16 still under construction!
1997-05-14 wenzelm 1997-05-14 preliminary!