equal
deleted
inserted
replaced
131 "trace-unification" |
131 "trace-unification" |
132 "Output error diagnostics during unification", |
132 "Output error diagnostics during unification", |
133 bool_pref Output.timing |
133 bool_pref Output.timing |
134 "global-timing" |
134 "global-timing" |
135 "Whether to enable timing in Isabelle.", |
135 "Whether to enable timing in Isabelle.", |
136 bool_pref Output.show_debug_msgs |
136 bool_pref Toplevel.debug |
137 "debug-messages" |
137 "debugging" |
138 "Whether to show debugging messages."] |
138 "Whether to enable debugging."] |
139 |
139 |
140 val proof_preferences = |
140 val proof_preferences = |
141 [bool_pref quick_and_dirty |
141 [bool_pref quick_and_dirty |
142 "quick-and-dirty" |
142 "quick-and-dirty" |
143 "Take a few short cuts", |
143 "Take a few short cuts", |