| 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 16:58:37 +0200 |
wenzelm |
updated to polyml-5.4.1;
|
file |
diff |
annotate
|
| Sat, 16 Jul 2011 18:11:14 +0200 |
wenzelm |
updated to Poly/ML SVN 1328, which is considered 5.4.2;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2011 15:18:05 +0100 |
wenzelm |
isatest cygwin-poly-e: new memory management of polyml-svn could be more stable;
|
file |
diff |
annotate
|
| Thu, 30 Dec 2010 13:31:32 +0100 |
wenzelm |
tuned isatest settings;
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 23:30:32 +0100 |
wenzelm |
updated to polyml-5.4.0;
|
file |
diff |
annotate
|
| Wed, 15 Sep 2010 16:04:40 +0200 |
wenzelm |
isatest: reactivated kodkodi and thus HOL-Nitpick_Examples -- being now on a local file system greatly increases the chance that it works;
|
file |
diff |
annotate
|
| Fri, 03 Sep 2010 13:45:12 +0200 |
blanchet |
redisable Nitpick from Cygwin, until I've investigated the issue
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 15:47:59 +0200 |
blanchet |
reenable Nitpick on Cygwin;
|
file |
diff |
annotate
|
| Mon, 09 Aug 2010 12:48:40 +0200 |
blanchet |
disable Nitpick on Cygwin while I'm on vacation;
|
file |
diff |
annotate
|
| Tue, 01 Jun 2010 13:54:33 +0200 |
wenzelm |
use local /home/isatest/polyml-5.3.0 on atbroy102 to avoid problems with the SMB filesystem via homebroy;
|
file |
diff |
annotate
|
| Wed, 21 Apr 2010 11:11:42 +0200 |
wenzelm |
marked cygwin-poly as "e" test, which means further stages do not depend on it (website etc.);
|
file |
diff |
annotate
| base
|