| Tue, 26 Sep 2000 17:01:31 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 11 Sep 2000 17:35:50 +0200 | wenzelm | added THIS; | file | diff | annotate |
| Sun, 03 Sep 2000 20:01:27 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Thu, 17 Dec 1998 17:41:32 +0100 | wenzelm | bash -c :; | file | diff | annotate |
| Tue, 22 Apr 1997 11:37:12 +0200 | wenzelm | removed -norc; | file | diff | annotate |
| Fri, 07 Mar 1997 11:48:46 +0100 | wenzelm | moved settings comment to build; | file | diff | annotate |
| Mon, 17 Feb 1997 18:12:03 +0100 | wenzelm | manual steps comment; | file | diff | annotate |
| Mon, 17 Feb 1997 17:22:19 +0100 | wenzelm | configure - adapt Isabelle distribution to system environment | file | diff | annotate |