| Thu, 31 Dec 2015 21:43:54 +0100 |
wenzelm |
updated to SML/NJ 110.79;
|
file |
diff |
annotate
|
| Tue, 15 Jul 2014 11:13:43 +0200 |
kleing |
add ISABELLE_GHC settings for isatest
|
file |
diff |
annotate
|
| Mon, 16 Sep 2013 12:51:33 +0200 |
wenzelm |
updated to smlnj 110.76;
|
file |
diff |
annotate
|
| Mon, 31 Dec 2012 12:09:51 +0100 |
wenzelm |
updated to smlnj-110.75;
|
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
|
| Sun, 18 Sep 2011 16:11:26 +0200 |
wenzelm |
updated to SML/NJ 110.73;
|
file |
diff |
annotate
|
| Mon, 14 Mar 2011 15:13:00 +0100 |
wenzelm |
isatest: fresh copy of settings avoids odd cumulative environment;
|
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
|
| 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
|
| Sat, 07 Nov 2009 16:54:13 +0100 |
wenzelm |
tuned ML_OPTIONS for SML/NJ -- for improved performance;
|
file |
diff |
annotate
|
| Sun, 31 May 2009 14:20:54 +0200 |
wenzelm |
uniform treatment of shellscript mode;
|
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
|
| Mon, 14 Jan 2008 23:19:28 +0100 |
isatest |
make at-sml-dev experimental
|
file |
diff |
annotate
|