| Fri, 12 Jun 2009 20:26:34 +0200 |
wenzelm |
eliminated cvs ids;
|
file |
diff |
annotate
|
| 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
|