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 |