equal
deleted
inserted
replaced
79 * Document antiquotations @{class} and @{type} for printing classes |
79 * Document antiquotations @{class} and @{type} for printing classes |
80 and type constructors. |
80 and type constructors. |
81 |
81 |
82 |
82 |
83 *** HOL *** |
83 *** HOL *** |
|
84 |
|
85 * Theory Multiset provides stable quicksort implementation of sort_key. |
84 |
86 |
85 * Quickcheck now has a configurable time limit which is set to 30 seconds |
87 * Quickcheck now has a configurable time limit which is set to 30 seconds |
86 by default. This can be changed by adding [timeout = n] to the quickcheck |
88 by default. This can be changed by adding [timeout = n] to the quickcheck |
87 command. The time limit for auto quickcheck is still set independently, |
89 command. The time limit for auto quickcheck is still set independently, |
88 by default to 5 seconds. |
90 by default to 5 seconds. |