lib/Tools/latex
2017-12-22 wenzelm discontinued 'display_drafts' command;
2013-07-27 wenzelm discontinued historic document formats;
2012-07-26 wenzelm allow spaces in file names;
2010-12-02 wenzelm isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead;
2008-12-20 wenzelm removed Ids;
2008-10-21 wenzelm tuned usage line;
2008-05-24 urbanc fixed improper handling of return code (pdf and ps.gz formats)
2008-05-18 urbanc proper handling of the return code for the ps-format (fixes a bug)
2008-05-15 wenzelm removed obsolete thumbpdf;
2008-04-08 wenzelm removed obsolete AUTO_PERL feature;
2005-07-19 wenzelm tuned;
2005-06-01 haftmann remove CVS id from *.sty latex styles
2005-06-01 haftmann remove CVS id from *.sty latex styles
2005-06-01 haftmann improved *.sty handling
2005-06-01 haftmann improved *.sty handling
2005-06-01 haftmann improved *.sty handling
2005-05-24 haftmann ML_idf antiquotation
2005-04-26 wenzelm restored AUTO_BASH/PERL -- beware of ./configure!
2005-04-20 quigley Removed remaining references to Main.thy in reconstruction code.
2004-06-21 kleing Merged in license change from Isabelle2004
2004-06-18 wenzelm more generous treatment of packages in draft prints;
2004-06-12 wenzelm added option 'isatool latex -o syms';
2004-01-08 kleing run makeindex if necessary
2002-01-24 wenzelm copy_styles replaces overly conservative update_styles;
2001-10-20 wenzelm dvips -q;
2000-11-30 wenzelm /usr/bin/env bash;
2000-11-22 wenzelm tuned;
2000-09-01 wenzelm GPLed;
2000-03-24 wenzelm tuned;
2000-03-24 wenzelm improved dump of styles;
2000-03-24 wenzelm -o sty;
1999-10-14 wenzelm support thumbpdf (via 'png' output format);
1999-10-13 wenzelm tuned usage;
1999-10-09 wenzelm support bibtex;
1999-10-08 wenzelm pass RC;
1999-10-07 wenzelm tuned dirname;
1999-10-07 wenzelm Isabelle wrapper for LaTeX (and friends);
less more (0) tip