lib/Tools/latex
2000-11-22 wenzelm 2000-11-22 tuned;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
2000-03-24 wenzelm 2000-03-24 tuned;
2000-03-24 wenzelm 2000-03-24 improved dump of styles;
2000-03-24 wenzelm 2000-03-24 -o sty;
1999-10-14 wenzelm 1999-10-14 support thumbpdf (via 'png' output format);
1999-10-13 wenzelm 1999-10-13 tuned usage;
1999-10-09 wenzelm 1999-10-09 support bibtex; tuned;
1999-10-08 wenzelm 1999-10-08 pass RC;
1999-10-07 wenzelm 1999-10-07 tuned dirname;
1999-10-07 wenzelm 1999-10-07 Isabelle wrapper for LaTeX (and friends);