lib/Tools/latex
Thu, 14 Oct 1999 15:03:34 +0200 wenzelm support thumbpdf (via 'png' output format);
Wed, 13 Oct 1999 19:43:52 +0200 wenzelm tuned usage;
Sat, 09 Oct 1999 23:16:59 +0200 wenzelm support bibtex;
Fri, 08 Oct 1999 15:03:27 +0200 wenzelm pass RC;
Thu, 07 Oct 1999 12:38:12 +0200 wenzelm tuned dirname;
Thu, 07 Oct 1999 12:27:44 +0200 wenzelm Isabelle wrapper for LaTeX (and friends);
less more (0) tip