equal
deleted
inserted
replaced
151 "trace-simplifier" |
151 "trace-simplifier" |
152 "Trace simplification rules.", |
152 "Trace simplification rules.", |
153 nat_pref Raw_Simplifier.simp_trace_depth_limit_default |
153 nat_pref Raw_Simplifier.simp_trace_depth_limit_default |
154 "trace-simplifier-depth" |
154 "trace-simplifier-depth" |
155 "Trace simplifier depth limit.", |
155 "Trace simplifier depth limit.", |
156 bool_pref trace_rules |
|
157 "trace-rules" |
|
158 "Trace application of the standard rules", |
|
159 bool_pref Pattern.trace_unify_fail |
156 bool_pref Pattern.trace_unify_fail |
160 "trace-unification" |
157 "trace-unification" |
161 "Output error diagnostics during unification", |
158 "Output error diagnostics during unification", |
162 bool_pref Output.timing |
159 bool_pref Output.timing |
163 "global-timing" |
160 "global-timing" |