| changeset 40354 | d7dfec07806a |
| parent 40341 | 03156257040f |
| parent 40348 | e484bacfbe64 |
| child 40387 | e4c9e0dad473 |
--- a/NEWS Wed Nov 03 23:01:30 2010 +0100 +++ b/NEWS Thu Nov 04 09:54:16 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,