| changeset 40348 | e484bacfbe64 |
| parent 40295 | d4923a7f42c1 |
| child 40354 | d7dfec07806a |
--- a/NEWS Wed Nov 03 12:15:47 2010 +0100 +++ b/NEWS Wed Nov 03 12:20:33 2010 +0100 @@ -82,6 +82,8 @@ *** HOL *** +* Theory Multiset provides stable quicksort implementation of sort_key. + * 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,