changeset 36006 | 7ddc33baf959 |
parent 35995 | 26e820d27e0a |
child 38980 | af73cf0dc31f |
--- a/src/Pure/ProofGeneral/preferences.ML Sun Mar 28 19:34:08 2010 +0200 +++ b/src/Pure/ProofGeneral/preferences.ML Mon Mar 29 09:06:34 2010 +0200 @@ -146,7 +146,7 @@ "Show leading question mark of variable name"]; val tracing_preferences = - [bool_pref trace_simp_ref + [bool_pref trace_simp_default "trace-simplifier" "Trace simplification rules.", nat_pref trace_simp_depth_limit