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