lib/Tools/latex
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-21 wenzelm 2008-10-21 tuned usage line;
2008-05-24 urbanc 2008-05-24 fixed improper handling of return code (pdf and ps.gz formats)
2008-05-18 urbanc 2008-05-18 proper handling of the return code for the ps-format (fixes a bug)
2008-05-15 wenzelm 2008-05-15 removed obsolete thumbpdf;
2008-04-08 wenzelm 2008-04-08 removed obsolete AUTO_PERL feature;
2005-07-19 wenzelm 2005-07-19 tuned;
2005-06-01 haftmann 2005-06-01 remove CVS id from *.sty latex styles
2005-06-01 haftmann 2005-06-01 remove CVS id from *.sty latex styles
2005-06-01 haftmann 2005-06-01 improved *.sty handling
2005-06-01 haftmann 2005-06-01 improved *.sty handling
2005-06-01 haftmann 2005-06-01 improved *.sty handling
2005-05-24 haftmann 2005-05-24 ML_idf antiquotation
2005-04-26 wenzelm 2005-04-26 restored AUTO_BASH/PERL -- beware of ./configure!
2005-04-20 quigley 2005-04-20 Removed remaining references to Main.thy in reconstruction code.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-18 wenzelm 2004-06-18 more generous treatment of packages in draft prints;
2004-06-12 wenzelm 2004-06-12 added option 'isatool latex -o syms';
2004-01-08 kleing 2004-01-08 run makeindex if necessary
2002-01-24 wenzelm 2002-01-24 copy_styles replaces overly conservative update_styles;
2001-10-20 wenzelm 2001-10-20 dvips -q;
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash;
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);