| 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 |
| Tue, 08 Feb 2011 16:10:10 +0100 | blanchet | available_provers ~> supported_provers (for clarity) | changeset | files |
| Tue, 08 Feb 2011 16:10:09 +0100 | blanchet | sort E weights | changeset | files |
| Tue, 08 Feb 2011 16:10:08 +0100 | blanchet | added support for bleeding-edge E weighting function "SymOffsetsWeight" | changeset | files |