Admin/isatest/isatest-check
2008-10-09 kleing do logging to MASTERLOG centrally (avoid multiple writers over NFS as
2008-10-07 kleing leave a log message when no snapshot is generated
2008-10-05 kleing needs -b option for isabelle getenv
2008-10-04 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-09-30 kleing extract Isabelle dist name correctly
2008-01-14 isatest make at-sml-dev experimental
2007-03-05 kleing adjust paths
2007-03-05 kleing moved all isatest/cron job related files to own directory
less more (0) tip