[isabelle-dev] NEWS

Lukas Bulwahn bulwahn at in.tum.de
Fri Oct 29 09:26:15 CEST 2010

* 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.


More information about the isabelle-dev mailing list