lib/Tools/document
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2008-05-24 ago fixed improper handling of return code (pdf and ps.gz formats)
2008-05-15 ago removed obsolete thumbpdf;
2005-08-16 ago added option -n NAME and -t TAGS;
2004-06-21 ago Merged in license change from Isabelle2004
2004-06-13 ago tuned;
2004-01-28 ago remove more files (index, log files) for -c option
2004-01-08 ago run makeindex if necessary
2002-01-09 ago isatool latex -o sty;
2001-10-26 ago need at least 3 latex runs to get toc right!
2001-10-20 ago removed -v option (handled by isabelle process);
2001-09-27 ago -v option;
2000-11-30 ago /usr/bin/env bash;
2000-11-22 ago tuned;
2000-09-01 ago GPLed;
2000-04-01 ago tuned -c option;
2000-02-21 ago remove *.out;
2000-02-09 ago option -c;
2000-02-08 ago added -c option (beware!);
2000-02-08 ago rename -p to -P;
2000-01-30 ago rm -f *.aux;
1999-10-14 ago pdf: generate thumbnails if ISABELLE_THUMBPDF set;
1999-10-13 ago tuned usage;
1999-10-09 ago check format;
1999-10-08 ago prepare theory session document;