Sat, 22 Aug 2009 17:08:06 +0200 |
wenzelm |
function splitarray: splightly more abstract version that accomodates older bashes;
|
file |
diff |
annotate
|
Tue, 04 Aug 2009 16:11:11 +0200 |
wenzelm |
turned object-logics into components;
|
file |
diff |
annotate
|
Sat, 20 Dec 2008 11:39:27 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
Tue, 21 Oct 2008 20:18:07 +0200 |
wenzelm |
tuned usage line;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Sat, 04 Oct 2008 16:05:09 +0200 |
wenzelm |
replaced ISATOOL by ISABELLE_TOOL;
|
file |
diff |
annotate
|
Thu, 01 Dec 2005 18:41:46 +0100 |
wenzelm |
replaced lib/scripts/showtime by more advanced lib/scripts/timestart|stop.bash;
|
file |
diff |
annotate
|
Tue, 26 Apr 2005 19:50:14 +0200 |
wenzelm |
ALL_LOGICS: topological order;
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Sat, 06 Dec 2003 04:33:18 +0100 |
kleing |
make Pure first to avoid race conditions on multiprocessor machines
|
file |
diff |
annotate
|
Wed, 26 Feb 2003 14:26:18 +0100 |
kleing |
== -> =
|
file |
diff |
annotate
|
Fri, 21 Jun 2002 12:35:33 +0200 |
kleing |
fail not so early, but produce correct exit code in the end
|
file |
diff |
annotate
|
Thu, 20 Jun 2002 18:48:31 +0200 |
kleing |
fail early
|
file |
diff |
annotate
|
Thu, 30 Nov 2000 20:10:29 +0100 |
wenzelm |
/usr/bin/env bash;
|
file |
diff |
annotate
|
Wed, 22 Nov 2000 21:41:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 01 Sep 2000 17:50:36 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Thu, 19 Aug 1999 12:43:02 +0200 |
wenzelm |
improved messages;
|
file |
diff |
annotate
|
Fri, 19 Dec 1997 12:09:58 +0100 |
wenzelm |
new version;
|
file |
diff |
annotate
|
Mon, 20 Oct 1997 15:20:42 +0200 |
wenzelm |
rm IOA TLA;
|
file |
diff |
annotate
|
Tue, 06 May 1997 15:27:35 +0200 |
wenzelm |
fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
|
file |
diff |
annotate
|
Tue, 22 Apr 1997 11:37:12 +0200 |
wenzelm |
removed -norc;
|
file |
diff |
annotate
|
Sat, 12 Apr 1997 20:02:06 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
Tue, 18 Mar 1997 18:20:26 +0100 |
wenzelm |
asserts $ISABELLE_OUTPUT_DIR;
|
file |
diff |
annotate
|
Thu, 06 Feb 1997 18:33:50 +0100 |
wenzelm |
removed getplatform, ISABELLE_OUTPUT_DIR;
|
file |
diff |
annotate
|
Wed, 29 Jan 1997 15:58:17 +0100 |
wenzelm |
fixed getplatform call;
|
file |
diff |
annotate
|
Thu, 09 Jan 1997 17:16:50 +0100 |
wenzelm |
make all Isabelle systems afresh;
|
file |
diff |
annotate
|