lib/Tools/mkdir
Tue, 26 Apr 2005 19:50:57 +0200 wenzelm restored AUTO_BASH/PERL -- beware of ./configure!
Wed, 20 Apr 2005 16:03:17 +0200 quigley Removed remaining references to Main.thy in reconstruction code.
Wed, 13 Apr 2005 18:48:05 +0200 wenzelm *** MESSAGE REFERS TO PREVIOUS VERSION ***
Wed, 13 Apr 2005 18:34:22 +0200 wenzelm *** empty log message ***
Fri, 04 Mar 2005 15:07:34 +0100 skalberg Removed practically all references to Library.foldr.
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Sun, 13 Jun 2004 15:31:11 +0200 wenzelm tuned;
Fri, 02 May 2003 16:43:36 +0200 kleing reduced package dependencies,
Fri, 02 May 2003 15:19:36 +0200 kleing more documentation for packages in root.tex
Wed, 12 Dec 2001 17:43:45 +0100 wenzelm option "-d pdf" by default (accomodates pdf bias of Mac OS X);
Sat, 01 Dec 2001 18:51:11 +0100 wenzelm %\usepackage{textcomp}
Thu, 08 Nov 2001 17:54:58 +0100 wenzelm \bibliographystyle{abbrv};
Mon, 22 Oct 2001 17:56:16 +0200 wenzelm -D generated;
Sat, 20 Oct 2001 20:16:55 +0200 wenzelm option -q also excludes -v true in generated stuff;
Fri, 19 Oct 2001 21:59:33 +0200 wenzelm improved default dependencies;
Mon, 01 Oct 2001 21:53:50 +0200 wenzelm tuned;
Thu, 27 Sep 2001 12:23:23 +0200 wenzelm removed option -d (now standard behaviour);
Fri, 01 Dec 2000 20:24:08 +0100 wenzelm tuned;
Thu, 30 Nov 2000 20:10:29 +0100 wenzelm /usr/bin/env bash;
Wed, 22 Nov 2000 21:41:39 +0100 wenzelm tuned;
Thu, 09 Nov 2000 21:38:00 +0100 wenzelm fixed \title: convert "_" to "-";
Mon, 30 Oct 2000 18:22:20 +0100 wenzelm tuned tex template;
Mon, 23 Oct 2000 22:09:52 +0200 wenzelm make sure default document works;
Mon, 18 Sep 2000 17:56:44 +0200 wenzelm best-style made default;
Fri, 01 Sep 2000 17:50:36 +0200 wenzelm GPLed;
Sat, 19 Aug 2000 12:42:52 +0200 wenzelm %\urlstyle{rm}
Tue, 04 Jul 2000 01:10:53 +0200 wenzelm fixed usage;
Mon, 10 Apr 2000 23:38:02 +0200 wenzelm handle dir prefix;
Sun, 26 Mar 2000 20:08:03 +0200 wenzelm tuned targets;
Fri, 17 Mar 2000 17:10:37 +0100 wenzelm \isamarkupheader: \section;
Thu, 16 Mar 2000 00:32:55 +0100 wenzelm do not change parindent/parskip;
Wed, 15 Mar 2000 18:50:48 +0100 wenzelm ## -D document;
Thu, 24 Feb 2000 15:34:49 +0100 wenzelm tuned generated TeX code;
Mon, 14 Feb 2000 20:49:08 +0100 wenzelm basic source deps;
Tue, 08 Feb 2000 20:14:58 +0100 wenzelm rename -p to -P;
Sat, 05 Feb 2000 17:06:27 +0100 wenzelm tuned;
Sat, 05 Feb 2000 16:59:50 +0100 wenzelm -I option;
Fri, 04 Feb 2000 21:53:36 +0100 wenzelm misc improvements;
Fri, 28 Jan 2000 15:26:51 +0100 wenzelm -p option;
Fri, 28 Jan 2000 14:42:46 +0100 wenzelm mkdir: prepare logic session directory;
less more (0) tip