src/Pure/ProofGeneral/preferences.ML
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