Admin/isatest/isatest-annomaly
Fri, 12 Jun 2009 20:26:34 +0200 wenzelm eliminated cvs ids;
Thu, 09 Oct 2008 09:18:32 +0200 kleing do logging to MASTERLOG centrally (avoid multiple writers over NFS as
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;
Sat, 04 Oct 2008 16:05:09 +0200 wenzelm replaced ISATOOL by ISABELLE_TOOL;
Thu, 12 Apr 2007 02:42:58 +0200 kleing isatest version of annomaly script. to be run from istatest-makedist.
less more (0) tip