lib/Tools/mkdir
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2008-09-09 ago added comment
2007-11-12 ago reactivated default paragraph formatting for ``proof documents'';
2007-10-24 ago tuned comments;
2007-08-28 ago Commented out non-standard paragraph formatting.
2005-06-20 ago be less ambitious about the author's name;
2005-05-03 ago make mkdir usable with cygwin
2005-04-26 ago restored AUTO_BASH/PERL -- beware of ./configure!
2005-04-20 ago Removed remaining references to Main.thy in reconstruction code.
2005-04-13 ago *** MESSAGE REFERS TO PREVIOUS VERSION ***
2005-04-13 ago *** empty log message ***
2005-03-04 ago Removed practically all references to Library.foldr.
2004-06-21 ago Merged in license change from Isabelle2004
2004-06-13 ago tuned;
2003-05-02 ago reduced package dependencies,
2003-05-02 ago more documentation for packages in root.tex
2001-12-12 ago option "-d pdf" by default (accomodates pdf bias of Mac OS X);
2001-12-01 ago %\usepackage{textcomp}
2001-11-08 ago \bibliographystyle{abbrv};
2001-10-22 ago -D generated;
2001-10-20 ago option -q also excludes -v true in generated stuff;
2001-10-19 ago improved default dependencies;
2001-10-01 ago tuned;
2001-09-27 ago removed option -d (now standard behaviour);
2000-12-01 ago tuned;
2000-11-30 ago /usr/bin/env bash;
2000-11-22 ago tuned;
2000-11-09 ago fixed \title: convert "_" to "-";
2000-10-30 ago tuned tex template;
2000-10-23 ago make sure default document works;
2000-09-18 ago best-style made default;
2000-09-01 ago GPLed;
2000-08-19 ago %\urlstyle{rm}
2000-07-04 ago fixed usage;
2000-04-10 ago handle dir prefix;
2000-03-26 ago tuned targets;
2000-03-17 ago \isamarkupheader: \section;
2000-03-16 ago do not change parindent/parskip;
2000-03-15 ago ## -D document;
2000-02-24 ago tuned generated TeX code;
2000-02-14 ago basic source deps;
2000-02-08 ago rename -p to -P;
2000-02-05 ago tuned;
2000-02-05 ago -I option;
2000-02-04 ago misc improvements;
2000-01-28 ago -p option;
2000-01-28 ago mkdir: prepare logic session directory;