| Wed, 18 Aug 1999 19:17:29 +0200 | wenzelm | tuned messages; | file | diff | annotate |
| Fri, 05 Feb 1999 20:57:37 +0100 | wenzelm | more robust RC; | file | diff | annotate |
| Wed, 03 Feb 1999 16:41:00 +0100 | wenzelm | tuned msg; | file | diff | annotate |
| Sun, 28 Dec 1997 15:47:09 +0100 | wenzelm | improved error handling; | file | diff | annotate |
| Sun, 28 Dec 1997 15:11:54 +0100 | wenzelm | stderr to $LOG; | file | diff | annotate |
| Fri, 19 Dec 1997 10:15:26 +0100 | wenzelm | log file; | file | diff | annotate |
| Mon, 06 Oct 1997 18:20:15 +0200 | wenzelm | RAW target; | file | diff | annotate |
| Mon, 07 Jul 1997 09:09:21 +0200 | wenzelm | eliminated chmod -w; | file | diff | annotate |
| Tue, 06 May 1997 15:27:35 +0200 | wenzelm | fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?); | file | diff | annotate |
| Fri, 25 Apr 1997 15:18:58 +0200 | wenzelm | removed -c option; | file | diff | annotate |
| Fri, 07 Mar 1997 15:30:23 +0100 | wenzelm | renamed SYSTEM to RAW_ML_SYSTEM; | file | diff | annotate |
| Tue, 07 Jan 1997 09:01:52 +0100 | wenzelm | minor tuning; | file | diff | annotate |
| Wed, 18 Dec 1996 12:42:20 +0100 | wenzelm | minor modifications to accomodate IsaMakefile; | file | diff | annotate |
| Mon, 16 Dec 1996 10:00:08 +0100 | wenzelm | now passes ML_SYSTEM as ml_system; | file | diff | annotate |
| Mon, 09 Dec 1996 16:09:02 +0100 | wenzelm | *** empty log message *** | file | diff | annotate |
| Mon, 09 Dec 1996 16:05:41 +0100 | wenzelm | mk - build Pure Isabelle. | file | diff | annotate |