lib/Tools/document
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;