| Tue, 08 Feb 2011 21:06:03 +0100 | wenzelm | clarified comment -- ancienct PG 3.7.x is still in use; | changeset | files |
| Tue, 08 Feb 2011 20:59:12 +0100 | wenzelm | discontinued obsolete alias HOL.thy for @{theory HOL} in ML; | changeset | files |
| Tue, 08 Feb 2011 19:57:11 +0100 | wenzelm | prefer polyml-5.2.1 over odd polyml-5.3.0-old; | changeset | files |
| Tue, 08 Feb 2011 19:53:35 +0100 | wenzelm | 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; | changeset | files |
| Tue, 08 Feb 2011 17:44:53 +0100 | wenzelm | reverted slightly odd eb5900951702: isatest-doc should work again due to 4b08499b3db1 (polyml-5.3.0 supports proper TimeLimit, as required for HOL-Nitpick-Examples); | changeset | files |
| Tue, 08 Feb 2011 17:38:43 +0100 | wenzelm | merged | changeset | files |