lib/Tools/mkdir
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
2000-08-19 wenzelm 2000-08-19 %\urlstyle{rm} %\isabellestyle{it}
2000-07-04 wenzelm 2000-07-04 fixed usage;
2000-04-10 wenzelm 2000-04-10 handle dir prefix;
2000-03-26 wenzelm 2000-03-26 tuned targets;
2000-03-17 wenzelm 2000-03-17 \isamarkupheader: \section;
2000-03-16 wenzelm 2000-03-16 do not change parindent/parskip;
2000-03-15 wenzelm 2000-03-15 ## -D document;
2000-02-24 wenzelm 2000-02-24 tuned generated TeX code;
2000-02-14 wenzelm 2000-02-14 basic source deps;
2000-02-08 wenzelm 2000-02-08 rename -p to -P; fixed target name: LOGIC-NAME;
2000-02-05 wenzelm 2000-02-05 tuned;
2000-02-05 wenzelm 2000-02-05 -I option;
2000-02-04 wenzelm 2000-02-04 misc improvements;
2000-01-28 wenzelm 2000-01-28 -p option;
2000-01-28 wenzelm 2000-01-28 mkdir: prepare logic session directory;