changeset 41183 | e20f0d0e2af3 |
parent 40878 | 7695e4de4d86 |
child 41227 | 11e7ee2ca77f |
--- a/src/Pure/ProofGeneral/preferences.ML Wed Dec 15 19:15:06 2010 -0800 +++ b/src/Pure/ProofGeneral/preferences.ML Thu Dec 16 09:10:38 2010 +0100 @@ -150,7 +150,7 @@ [bool_pref simp_trace_default "trace-simplifier" "Trace simplification rules.", - nat_pref simp_trace_depth_limit + nat_pref simp_trace_depth_limit_default "trace-simplifier-depth" "Trace simplifier depth limit.", bool_pref trace_rules