| Tue, 25 Jan 2011 22:59:03 +0100 |
wenzelm |
tuned isatest settings (for Poly/ML SVN 1278);
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 23:30:32 +0100 |
wenzelm |
updated to polyml-5.4.0;
|
file |
diff |
annotate
|
| Fri, 09 Apr 2010 11:35:50 +0200 |
wenzelm |
isatest: more uniform setup for Unix vs. Cygwin;
|
file |
diff |
annotate
|
| Wed, 17 Feb 2010 22:32:05 +0100 |
wenzelm |
isatest: activated HOL-Nitpick_Examples for x86_64-darwin -- should now work with kodkodi-1.2.8;
|
file |
diff |
annotate
|
| Sat, 06 Feb 2010 23:26:17 +0100 |
wenzelm |
tuned isatest ML_OPTIONS;
|
file |
diff |
annotate
|
| Sat, 09 Jan 2010 16:31:19 +0100 |
wenzelm |
tuned isatest ML_OPTIONS;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 11:55:23 +0100 |
wenzelm |
discontinued special HOL_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| Mon, 09 Nov 2009 21:34:42 +0100 |
wenzelm |
switched some isatest sessions to official Poly/ML 5.3.0;
|
file |
diff |
annotate
|
| Sun, 25 Oct 2009 13:14:00 +0100 |
wenzelm |
more uniform ISABELLE_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| Fri, 02 Oct 2009 10:35:13 +0200 |
wenzelm |
less ambitious heap settings;
|
file |
diff |
annotate
|
| Sat, 08 Aug 2009 11:40:22 +0200 |
wenzelm |
refined mac-poly64 tests;
|
file |
diff |
annotate
|
| Mon, 20 Jul 2009 19:57:32 +0200 |
wenzelm |
replaced usedir option -Q by more fine-grained -q;
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 22:04:41 +0200 |
wenzelm |
fixed ISABELLE_HOME_USER;
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 21:51:44 +0200 |
wenzelm |
added isatest for x86_64-darwin;
|
file |
diff |
annotate
|