Admin/isatest/isatest-check
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
Wed, 08 Oct 2008 00:03:42 +0200 kleing leave a log message when no snapshot is generated
Sun, 05 Oct 2008 13:13:48 +0200 kleing needs -b option for isabelle getenv
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;
Wed, 01 Oct 2008 00:09:51 +0200 kleing extract Isabelle dist name correctly
Mon, 14 Jan 2008 23:19:28 +0100 isatest make at-sml-dev experimental
Mon, 05 Mar 2007 22:23:23 +0100 kleing adjust paths
Mon, 05 Mar 2007 22:12:20 +0100 kleing moved all isatest/cron job related files to own directory
less more (0) tip