| 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
|