Fri, 12 Jun 2009 20:26:34 +0200 | wenzelm | eliminated cvs ids; | file | diff | annotate |
Thu, 09 Oct 2008 09:18:32 +0200 | kleing | do logging to MASTERLOG centrally (avoid multiple writers over NFS as | file | diff | annotate |
Sat, 04 Oct 2008 17:40:56 +0200 | wenzelm | simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; | file | diff | annotate |
Sat, 04 Oct 2008 16:05:09 +0200 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
Thu, 12 Apr 2007 02:42:58 +0200 | kleing | isatest version of annomaly script. to be run from istatest-makedist. | file | diff | annotate |