changeset 42012 | 2c3fe3cbebae |
parent 41698 | 90597e044e5f |
child 42284 | 326f57825e1a |
--- a/src/Pure/ProofGeneral/preferences.ML Sun Mar 20 21:20:07 2011 +0100 +++ b/src/Pure/ProofGeneral/preferences.ML Sun Mar 20 21:28:11 2011 +0100 @@ -156,7 +156,7 @@ bool_pref Pattern.trace_unify_fail "trace-unification" "Output error diagnostics during unification", - bool_pref Output.timing + bool_pref Toplevel.timing "global-timing" "Whether to enable timing in Isabelle.", bool_pref Toplevel.debug