| Thu, 28 Sep 2000 14:48:05 +0200 | wenzelm | isabelle -C; | file | diff | annotate |
| Fri, 15 Sep 2000 16:54:26 +0200 | wenzelm | isabelle: -P option; | file | diff | annotate |
| Fri, 01 Sep 2000 18:01:05 +0200 | wenzelm | ISABELLE_PATH: ML_IDENTIFIER no longer added; | file | diff | annotate |
| Wed, 08 Mar 2000 17:44:53 +0100 | wenzelm | isabelle -c: tell ML system to compress output image; | file | diff | annotate |
| Tue, 19 Oct 1999 13:45:51 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 18 Oct 1999 19:43:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 14 Oct 1999 12:46:30 +0200 | wenzelm | tuned; | file | diff | annotate |