| Wed, 17 Feb 2016 23:06:24 +0100 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
| Wed, 15 Jul 2015 11:25:51 +0200 |
wenzelm |
back to uniform BUILD_ARGS: first some options, then some sessions (cf. 4fce5d462afc);
|
file |
diff |
annotate
|
| Tue, 14 Jul 2015 19:08:27 +0200 |
wenzelm |
more explicit command-line option for isabelle build;
|
file |
diff |
annotate
|
| Mon, 13 Jul 2015 11:05:50 +0200 |
wenzelm |
refrain from testing HOL-Proofs for x86_64-linux: takes more than 4h;
|
file |
diff |
annotate
|
| Wed, 08 Jul 2015 00:04:15 +0200 |
wenzelm |
more generous timeout for the sake of HOL-Proofs in at64-poly;
|
file |
diff |
annotate
|
| Sun, 21 Dec 2014 16:26:22 +0100 |
wenzelm |
increase chances of success;
|
file |
diff |
annotate
|
| Fri, 19 Dec 2014 23:33:08 +0100 |
wenzelm |
more generous timeout, to increase chances of at64-poly;
|
file |
diff |
annotate
|
| Mon, 22 Sep 2014 21:45:59 +0200 |
wenzelm |
clarified timeout for isatest;
|
file |
diff |
annotate
|
| Wed, 21 Nov 2012 15:50:54 +0100 |
wenzelm |
more generous timeout for SML/NJ, which is approx. 40-80 times slower than Poly/ML;
|
file |
diff |
annotate
|
| Tue, 20 Nov 2012 13:27:24 +0100 |
wenzelm |
global default for session timeout;
|
file |
diff |
annotate
|
| Sat, 27 Oct 2012 20:59:50 +0200 |
wenzelm |
longer log, to accomodate final status line of isabelle build;
|
file |
diff |
annotate
|
| Mon, 30 Jul 2012 16:40:21 +0200 |
wenzelm |
updated isatest to isabelle build, which also includes doc-src sessions;
|
file |
diff |
annotate
|
| Sat, 14 Jul 2012 21:15:41 +0200 |
wenzelm |
removed some old/unused stuff;
|
file |
diff |
annotate
|
| Sat, 14 Jul 2012 21:05:29 +0200 |
wenzelm |
actually remove former atbroy102/cygwin stuff (cf. 6301046146b6, 08cb859c53cd);
|
file |
diff |
annotate
|
| Mon, 09 Jul 2012 21:08:40 +0200 |
krauss |
abandoned import of isatest reports into (old version of) mira -- unstable, and not worth the maintenance effort
|
file |
diff |
annotate
|