| 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 |