| 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
|
| 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
|
| Sat, 04 Oct 2008 16:05:09 +0200 |
wenzelm |
replaced ISATOOL by ISABELLE_TOOL;
|
file |
diff |
annotate
|
| Sun, 28 Sep 2008 09:25:24 +0200 |
kleing |
do not cvs update for doc test (switching to mercurial, update done outside
|
file |
diff |
annotate
|
| Fri, 06 Jun 2008 08:52:35 +0200 |
isatest |
doc test now runs on linux
|
file |
diff |
annotate
|
| Fri, 27 Apr 2007 05:53:37 +0200 |
kleing |
use correct email program for sunbroy2
|
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
|