equal
deleted
inserted
replaced
144 bool_pref show_question_marks |
144 bool_pref show_question_marks |
145 "show-question-marks" |
145 "show-question-marks" |
146 "Show leading question mark of variable name"]; |
146 "Show leading question mark of variable name"]; |
147 |
147 |
148 val tracing_preferences = |
148 val tracing_preferences = |
149 [nat_pref trace_simp_depth_limit |
149 [bool_pref trace_simp_ref |
|
150 "trace-simplifier" |
|
151 "Trace simplification rules.", |
|
152 nat_pref trace_simp_depth_limit |
150 "trace-simplifier-depth" |
153 "trace-simplifier-depth" |
151 "Trace simplifier depth limit.", |
154 "Trace simplifier depth limit.", |
152 bool_pref trace_rules |
155 bool_pref trace_rules |
153 "trace-rules" |
156 "trace-rules" |
154 "Trace application of the standard rules", |
157 "Trace application of the standard rules", |