Fri, 12 Jun 2009 20:26:34 +0200 |
wenzelm |
eliminated cvs ids;
|
file |
diff |
annotate
|
Fri, 12 Jun 2009 20:20:41 +0200 |
wenzelm |
more isatests;
|
file |
diff |
annotate
|
Sat, 06 Jun 2009 23:43:07 +0200 |
wenzelm |
no parallel make jobs on macbroy23, which is the machine where SML/XL is tested -- attempt to consume less resources;
|
file |
diff |
annotate
|
Fri, 05 Dec 2008 11:33:03 +1100 |
kleing |
run test for sunbroy2 on /tmp,
|
file |
diff |
annotate
|
Wed, 15 Oct 2008 00:18:19 +0200 |
kleing |
log start of test session
|
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:25:38 +0200 |
kleing |
make the test for experimental sessions in isatest-check actually work
|
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
|
Mon, 24 Mar 2008 15:55:22 +0100 |
wenzelm |
tuned settings for target platforms;
|
file |
diff |
annotate
|
Mon, 14 Jan 2008 23:19:28 +0100 |
isatest |
make at-sml-dev experimental
|
file |
diff |
annotate
|
Mon, 01 Oct 2007 02:59:10 +0200 |
isatest |
fixed dir in single-logic test
|
file |
diff |
annotate
|
Sun, 30 Sep 2007 16:51:46 +0200 |
isatest |
fix shell quoting confusion
|
file |
diff |
annotate
|
Sat, 29 Sep 2007 10:47:05 +0200 |
isatest |
swapped machines for at-sml-dev and at-sml-dev-p
|
file |
diff |
annotate
|
Sat, 29 Sep 2007 10:04:52 +0200 |
kleing |
accept single logic and target as argument
|
file |
diff |
annotate
|
Wed, 19 Sep 2007 13:52:54 +0200 |
isatest |
move at-sml-dev to 2-processor atbroy100
|
file |
diff |
annotate
|
Tue, 19 Jun 2007 00:02:16 +0200 |
wenzelm |
macbroy5: trying -j 2;
|
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
|