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