changeset 41379 | b31d7a1cd08f |
parent 41228 | e1fce873b814 |
child 41698 | 90597e044e5f |
--- a/src/Pure/ProofGeneral/preferences.ML Tue Dec 21 21:31:36 2010 +0100 +++ b/src/Pure/ProofGeneral/preferences.ML Tue Dec 21 21:54:51 2010 +0100 @@ -153,9 +153,6 @@ nat_pref Raw_Simplifier.simp_trace_depth_limit_default "trace-simplifier-depth" "Trace simplifier depth limit.", - bool_pref trace_rules - "trace-rules" - "Trace application of the standard rules", bool_pref Pattern.trace_unify_fail "trace-unification" "Output error diagnostics during unification",