| Thu, 09 Oct 2008 09:18:32 +0200 | kleing | do logging to MASTERLOG centrally (avoid multiple writers over NFS as | file | diff | annotate |
| Wed, 08 Oct 2008 00:03:42 +0200 | kleing | leave a log message when no snapshot is generated | file | diff | annotate |
| Sun, 05 Oct 2008 13:13:48 +0200 | kleing | needs -b option for isabelle getenv | 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 |
| Wed, 01 Oct 2008 00:09:51 +0200 | kleing | extract Isabelle dist name correctly | file | diff | annotate |
| Mon, 14 Jan 2008 23:19:28 +0100 | isatest | make at-sml-dev experimental | file | diff | annotate |
| Mon, 05 Mar 2007 22:23:23 +0100 | kleing | adjust paths | file | diff | annotate |
| Mon, 05 Mar 2007 22:12:20 +0100 | kleing | moved all isatest/cron job related files to own directory | file | diff | annotate |