changeset 22130 | 0906fd95e0b5 |
parent 21940 | fbd068dd4d29 |
child 22214 | 6e9ab159512f |
--- a/src/Pure/ProofGeneral/preferences.ML Sat Jan 20 14:09:12 2007 +0100 +++ b/src/Pure/ProofGeneral/preferences.ML Sat Jan 20 14:09:14 2007 +0100 @@ -133,9 +133,9 @@ bool_pref Output.timing "global-timing" "Whether to enable timing in Isabelle.", - bool_pref Output.show_debug_msgs - "debug-messages" - "Whether to show debugging messages."] + bool_pref Toplevel.debug + "debugging" + "Whether to enable debugging."] val proof_preferences = [bool_pref quick_and_dirty