lib/Tools/mkdir
Fri, 03 Dec 2010 16:39:07 +0100 wenzelm updated latex dependencies (cf. 7d88ebdce380);
Fri, 31 Jul 2009 11:34:14 +0200 wenzelm modernized generated example session;
Sat, 20 Dec 2008 11:39:27 +0100 wenzelm removed Ids;
Tue, 21 Oct 2008 20:18:07 +0200 wenzelm tuned usage line;
Sat, 04 Oct 2008 17:40:56 +0200 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
Sat, 04 Oct 2008 16:05:09 +0200 wenzelm replaced ISATOOL by ISABELLE_TOOL;
Tue, 09 Sep 2008 19:33:22 +0200 nipkow added comment
less more (0) -30 -10 -7 tip