| Mon, 17 Sep 2012 15:52:50 +0200 |
wenzelm |
prefer official polyml-5.5.0;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 11:31:07 +0200 |
wenzelm |
init components from local clone that is used to produce the test distribition, which itself lacks Admin;
|
file |
diff |
annotate
|
| Mon, 27 Aug 2012 11:41:54 +0200 |
wenzelm |
test with many add-ons;
|
file |
diff |
annotate
|
| Wed, 08 Aug 2012 12:10:22 +0200 |
wenzelm |
eliminated obsolete ISABELLE_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| Tue, 31 Jul 2012 22:00:19 +0200 |
wenzelm |
updated isatest settings for isabelle build;
|
file |
diff |
annotate
|
| Wed, 04 Jan 2012 11:01:08 +0100 |
wenzelm |
prefer explicit version information;
|
file |
diff |
annotate
|
| Wed, 04 Jan 2012 00:30:53 +0100 |
blanchet |
reenable Kodkodi in Isatest now that Nitpick has been ported to 'a set constructor
|
file |
diff |
annotate
|
| Wed, 28 Dec 2011 15:08:12 +0100 |
wenzelm |
disable kodkodi for now to prevent isatest failure of HOL-Nitpick_Examples due to 'a set constructor;
|
file |
diff |
annotate
|
| Sun, 18 Dec 2011 14:28:14 +0100 |
wenzelm |
tuned settings;
|
file |
diff |
annotate
|
| Wed, 20 Apr 2011 13:10:54 +0200 |
wenzelm |
migrated macbroy6 to macbroy30, which is the new "mobile" server (2 cores, 4 GB, Mac OS 10.5);
|
file |
diff |
annotate
| base
|