equal
deleted
inserted
replaced
95 (* preferences *) |
95 (* preferences *) |
96 |
96 |
97 val auto = Unsynchronized.ref false; |
97 val auto = Unsynchronized.ref false; |
98 |
98 |
99 val _ = |
99 val _ = |
100 Unsynchronized.setmp auto true (fn () => |
100 ProofGeneral.preference_bool ProofGeneral.category_tracing |
101 ProofGeneral.preference_bool ProofGeneral.category_tracing |
101 (SOME "true") |
102 auto |
102 auto |
103 "auto-quickcheck" |
103 "auto-quickcheck" |
104 "Run Quickcheck automatically") () |
104 "Run Quickcheck automatically"; |
105 |
105 |
106 |
106 |
107 (* quickcheck report *) |
107 (* quickcheck report *) |
108 |
108 |
109 datatype report = Report of |
109 datatype report = Report of |