# HG changeset patch
# User bulwahn
# Date 1288334686 -7200
# Node ID 2c646d3a8137679685bc4a61c8a55718643d0213
# Parent  c03fc7d3fa97bd4b244e6992acfc9229e1b012bf
NEWS

diff -r c03fc7d3fa97 -r 2c646d3a8137 NEWS
--- 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