Admin/isatest/settings/cygwin-poly-e
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;
Fri, 03 Sep 2010 13:45:12 +0200 blanchet redisable Nitpick from Cygwin, until I've investigated the issue
Thu, 02 Sep 2010 15:47:59 +0200 blanchet reenable Nitpick on Cygwin;
Mon, 09 Aug 2010 12:48:40 +0200 blanchet disable Nitpick on Cygwin while I'm on vacation;
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;
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.);
less more (0) tip