Tue, 15 Jul 2014 11:13:43 +0200 |
kleing |
add ISABELLE_GHC settings for isatest
|
file |
diff |
annotate
|
Sat, 08 Mar 2014 13:25:56 +0100 |
wenzelm |
back to polyml-svn, with more threads to avoid problems with HOL-Proofs (see f376f18fd0b7);
|
file |
diff |
annotate
|
Wed, 05 Mar 2014 16:16:36 +0100 |
wenzelm |
back to stable polyml-5.5.1, due to problems with Poly/ML SVN 1913 and HOL-Proofs (Fail "Insufficient memory");
|
file |
diff |
annotate
|
Mon, 03 Mar 2014 12:14:47 +0100 |
wenzelm |
test polyml-svn;
|
file |
diff |
annotate
|
Tue, 17 Sep 2013 21:20:55 +0200 |
wenzelm |
updated to official polyml-5.5.1;
|
file |
diff |
annotate
|
Thu, 01 Aug 2013 20:45:49 +0200 |
wenzelm |
test recent polyml-svn, which is becoming polyml-5.5.1;
|
file |
diff |
annotate
|
Sun, 28 Jul 2013 20:10:59 +0200 |
wenzelm |
prefer existing swipl;
|
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
|
Wed, 08 Aug 2012 11:53:14 +0200 |
wenzelm |
updated ML settings;
|
file |
diff |
annotate
|
Tue, 31 Jul 2012 22:00:19 +0200 |
wenzelm |
updated isatest settings for isabelle build;
|
file |
diff |
annotate
|
Thu, 05 Jul 2012 13:33:53 +0200 |
wenzelm |
slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*);
|
file |
diff |
annotate
|
Wed, 25 Apr 2012 14:19:53 +0200 |
wenzelm |
ISABELLE_JDK_HOME is already provided by isatest shell environment;
|
file |
diff |
annotate
|
Thu, 19 Apr 2012 14:59:17 +0200 |
wenzelm |
test with jdk-7u3 that is also bundled;
|
file |
diff |
annotate
|
Tue, 10 Apr 2012 16:50:30 +0200 |
wenzelm |
updated for Poly/ML SVN 1476;
|
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
|
Sat, 16 Jul 2011 18:11:14 +0200 |
wenzelm |
updated to Poly/ML SVN 1328, which is considered 5.4.2;
|
file |
diff |
annotate
|
Sat, 11 Jun 2011 14:27:23 +0200 |
wenzelm |
reverted 5fcd0ca1f582 -- isatest provides its own libgmp3 via LD_LIBRARY_PATH, which are also required for swipl;
|
file |
diff |
annotate
|
Fri, 10 Jun 2011 14:59:30 +0200 |
wenzelm |
use existing ghc on macbroy20;
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 21:41:44 +0100 |
wenzelm |
less ambitious isatest;
|
file |
diff |
annotate
|
Tue, 08 Feb 2011 19:53:35 +0100 |
wenzelm |
some shuffling of isatest settings, to ensure coverage of polyml-5.2.1, polyml-5.3.0, polyml-5.4.0, polyml-5.4.1 (SVN), smlnj/110.72;
|
file |
diff |
annotate
|
Fri, 09 Apr 2010 11:35:50 +0200 |
wenzelm |
isatest: more uniform setup for Unix vs. Cygwin;
|
file |
diff |
annotate
|
Thu, 04 Mar 2010 22:48:50 +0100 |
wenzelm |
switch to polyml-svn;
|
file |
diff |
annotate
|
Sat, 27 Feb 2010 13:55:03 +0100 |
wenzelm |
added at-poly-test, which is intended for performance tests of Poly/ML itself;
|
file |
diff |
annotate
|