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