| Sun, 18 Dec 2011 14:28:14 +0100 |
wenzelm |
tuned settings;
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 23:30:32 +0100 |
wenzelm |
updated to polyml-5.4.0;
|
file |
diff |
annotate
|
| Fri, 04 Jun 2010 11:31:33 +0200 |
wenzelm |
less ambitious settings;
|
file |
diff |
annotate
|
| Fri, 09 Apr 2010 11:35:50 +0200 |
wenzelm |
isatest: more uniform setup for Unix vs. Cygwin;
|
file |
diff |
annotate
|
| Tue, 09 Feb 2010 13:54:27 +0100 |
wenzelm |
isatest: activated HOL-Nitpick_Examples (by adding component kodkodi) on some platforms where it mostly works as expected;
|
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
|
| Fri, 30 Oct 2009 10:42:39 +0100 |
wenzelm |
back to polyml-svn -- performance impact is minimal, slowdown was caused by accumulated cruft of long-running Mac OS;
|
file |
diff |
annotate
|
| Sun, 25 Oct 2009 13:14:00 +0100 |
wenzelm |
more uniform ISABELLE_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| Sun, 25 Oct 2009 11:58:11 +0100 |
wenzelm |
switch to polyml-5.2.1 to see if it impacts performance;
|
file |
diff |
annotate
|
| Thu, 30 Jul 2009 23:23:52 +0200 |
wenzelm |
ISABELLE_USEDIR_OPTIONS: -q 2 by default;
|
file |
diff |
annotate
|
| Sat, 25 Jul 2009 14:32:35 +0200 |
wenzelm |
internal session timing;
|
file |
diff |
annotate
|
| Thu, 23 Jul 2009 16:09:50 +0200 |
wenzelm |
tuned ML_OPTIONS;
|
file |
diff |
annotate
|
| Wed, 22 Jul 2009 10:48:25 +0200 |
wenzelm |
less ambitious settings;
|
file |
diff |
annotate
|
| Tue, 21 Jul 2009 13:46:18 +0200 |
wenzelm |
less ambitious ML_OPTIONS;
|
file |
diff |
annotate
|
| Mon, 20 Jul 2009 19:57:32 +0200 |
wenzelm |
replaced usedir option -Q by more fine-grained -q;
|
file |
diff |
annotate
|
| Sat, 13 Jun 2009 11:33:50 +0200 |
wenzelm |
proper ISABELLE_HOME_USER;
|
file |
diff |
annotate
|
| Fri, 12 Jun 2009 20:20:41 +0200 |
wenzelm |
more isatests;
|
file |
diff |
annotate
|