--- a/NEWS Fri Oct 29 08:44:44 2010 +0200
+++ b/NEWS Fri Oct 29 08:44:46 2010 +0200
@@ -76,6 +76,11 @@
*** HOL ***
+* Quickcheck now has a configurable time limit which is set to 30 seconds
+by default. This can be changed by adding [timeout = n] to the quickcheck
+command. The time limit for auto quickcheck is still set independently,
+by default to 5 seconds.
+
* New command 'partial_function' provides basic support for recursive
function definitions over complete partial orders. Concrete instances
are provided for i) the option type, ii) tail recursion on arbitrary