isabelle: File revisions

Admin/isatest/settings/cygwin-poly-e

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

isabelle