lib/Tools/document
2009-08-04 wenzelm 2009-08-04 change IFS only locally -- thanks to bash arrays;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-21 wenzelm 2008-10-21 tuned usage line;
2008-10-04 wenzelm 2008-10-04 replaced ISATOOL by ISABELLE_TOOL;
2008-05-24 urbanc 2008-05-24 fixed improper handling of return code (pdf and ps.gz formats)
2008-05-15 wenzelm 2008-05-15 removed obsolete thumbpdf;
2005-08-16 wenzelm 2005-08-16 added option -n NAME and -t TAGS;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-13 wenzelm 2004-06-13 tuned;
2004-01-28 kleing 2004-01-28 remove more files (index, log files) for -c option
2004-01-08 kleing 2004-01-08 run makeindex if necessary
2002-01-09 wenzelm 2002-01-09 isatool latex -o sty;
2001-10-26 wenzelm 2001-10-26 need at least 3 latex runs to get toc right!
2001-10-20 wenzelm 2001-10-20 removed -v option (handled by isabelle process);
2001-09-27 wenzelm 2001-09-27 -v option;
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-04-01 wenzelm 2000-04-01 tuned -c option;
2000-02-21 wenzelm 2000-02-21 remove *.out;
2000-02-09 wenzelm 2000-02-09 option -c;
2000-02-08 wenzelm 2000-02-08 added -c option (beware!); changed default DIR to 'document'; NOTE: please ignore last log entry;
2000-02-08 wenzelm 2000-02-08 rename -p to -P; fixed target name: LOGIC-NAME;
2000-01-30 wenzelm 2000-01-30 rm -f *.aux;
1999-10-14 wenzelm 1999-10-14 pdf: generate thumbnails if ISABELLE_THUMBPDF set;
1999-10-13 wenzelm 1999-10-13 tuned usage;
1999-10-09 wenzelm 1999-10-09 check format; support bibtex;
1999-10-08 wenzelm 1999-10-08 prepare theory session document;