| Mon, 20 Apr 2015 13:46:36 +0100 |
kleing |
be less specific about POLYML_HOME, take component setup instead
|
file |
diff |
annotate
|
| Sat, 18 Apr 2015 19:36:07 +0100 |
kleing |
tweak afp mac options, try 64bit
|
file |
diff |
annotate
|
| Mon, 21 Jul 2014 15:23:57 +0200 |
kleing |
ghc mac installation repaired; test back on.
|
file |
diff |
annotate
|
| Sat, 19 Jul 2014 21:20:38 +0200 |
kleing |
apparently, setting ISABELLE_GHC makes ghc unusable
|
file |
diff |
annotate
|
| Fri, 18 Jul 2014 21:40:11 +0200 |
kleing |
afp-poly runs on macbroy2 (different ghc)
|
file |
diff |
annotate
|
| Tue, 15 Jul 2014 11:13:43 +0200 |
kleing |
add ISABELLE_GHC settings for isatest
|
file |
diff |
annotate
|
| Thu, 04 Oct 2012 09:19:54 +1000 |
Gerwin Klein |
updated crontab and afp-poly settings
|
file |
diff |
annotate
|
| Thu, 13 Sep 2012 11:13:00 +0200 |
wenzelm |
more standard init_components -- particularly important to pick up correct jdk/scala version;
|
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
|
| Thu, 19 Jan 2012 16:16:13 +0100 |
wenzelm |
reduce AFP test by many hours;
|
file |
diff |
annotate
|
| Wed, 18 Jan 2012 22:06:31 +0100 |
wenzelm |
really need 64bit here;
|
file |
diff |
annotate
|
| Wed, 18 Jan 2012 22:09:29 +1100 |
kleing |
switch afp test to Darwin on macbroy2
|
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
|
| Thu, 03 Mar 2011 15:59:44 +1100 |
kleing |
separate settings for afp test
|
file |
diff |
annotate
|