| Mon, 15 Nov 2010 15:41:58 +0100 | wenzelm | tuned error messages; | file | diff | annotate |
| Wed, 22 Sep 2010 22:14:25 +0200 | wenzelm | isabelle-process: less verbose no-commit mode; | file | diff | annotate |
| Sun, 31 May 2009 15:49:35 +0200 | wenzelm | removed "compress" option from isabelle-process and isabelle usedir -- this is always enabled; | file | diff | annotate |