bulwahn [Wed, 09 Feb 2011 08:42:23 +0100] rev 41736
merged
bulwahn [Tue, 08 Feb 2011 18:39:36 +0100] rev 41735
changing auto-quickcheck to be considered a non-interactive invocation of quickcheck
wenzelm [Tue, 08 Feb 2011 21:12:27 +0100] rev 41734
discontinued obsolete lib/scripts/polyml-platform;
wenzelm [Tue, 08 Feb 2011 21:06:03 +0100] rev 41733
clarified comment -- ancienct PG 3.7.x is still in use;
wenzelm [Tue, 08 Feb 2011 20:59:12 +0100] rev 41732
discontinued obsolete alias HOL.thy for @{theory HOL} in ML;
wenzelm [Tue, 08 Feb 2011 19:57:11 +0100] rev 41731
prefer polyml-5.2.1 over odd polyml-5.3.0-old;
wenzelm [Tue, 08 Feb 2011 19:53:35 +0100] rev 41730
some shuffling of isatest settings, to ensure coverage of polyml-5.2.1, polyml-5.3.0, polyml-5.4.0, polyml-5.4.1 (SVN), smlnj/110.72;