| Thu, 18 Dec 2014 17:26:53 +0100 |
wenzelm |
less ambitious settings -- increase chances of success;
|
file |
diff |
annotate
|
| Tue, 15 Jul 2014 11:13:43 +0200 |
kleing |
add ISABELLE_GHC settings for isatest
|
file |
diff |
annotate
|
| Tue, 17 Sep 2013 21:20:55 +0200 |
wenzelm |
updated to official polyml-5.5.1;
|
file |
diff |
annotate
|
| Fri, 13 Sep 2013 23:17:04 +0200 |
wenzelm |
restricted heap, which might improve stability of this test;
|
file |
diff |
annotate
|
| Mon, 09 Sep 2013 15:53:02 +0200 |
wenzelm |
use polyml-5.5.1 (SVN), to increase chances of stability of this test;
|
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
|
| 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
|
| 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, 15 Oct 2011 17:00:17 +0200 |
wenzelm |
prefer recent polyml-5.4.1, but retain potentially fragile polyml-5.2.1 as experimental test;
|
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
|
| Fri, 19 Feb 2010 22:31:58 +0100 |
wenzelm |
tuned settings;
|
file |
diff |
annotate
|
| Wed, 10 Feb 2010 12:03:13 +0100 |
wenzelm |
unset KODKODI explicitly -- apparently isatest patches settings cumulatively;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 11:55:23 +0100 |
wenzelm |
discontinued special HOL_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| Sun, 31 May 2009 14:20:54 +0200 |
wenzelm |
uniform treatment of shellscript mode;
|
file |
diff |
annotate
|
| Fri, 06 Jun 2008 18:36:35 +0200 |
wenzelm |
switched to Poly/ML 5.2;
|
file |
diff |
annotate
|
| Mon, 24 Mar 2008 15:59:56 +0100 |
wenzelm |
replaced obsolete /usr/proj by /home;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2008 19:21:20 +0100 |
wenzelm |
removed obsolete THIS_IS_ISABELLE_BUILD feature;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2007 04:34:15 +0100 |
kleing |
switch poly to 5.1, removed -e flag from most sessions
|
file |
diff |
annotate
|
| Wed, 05 Dec 2007 04:27:37 +0100 |
kleing |
make at64 non-experimental
|
file |
diff |
annotate
|