# HG changeset patch # User wenzelm # Date 1169298560 -3600 # Node ID cd3c167e6f19bf031e420cf522cdec2a151b21ef # Parent ab01073210e443579b0be8c4f3fb1d21e0f62c70 Toplevel.debug: coincide with Output.debugging; diff -r ab01073210e4 -r cd3c167e6f19 src/Pure/Isar/toplevel.ML --- a/src/Pure/Isar/toplevel.ML Sat Jan 20 14:09:19 2007 +0100 +++ b/src/Pure/Isar/toplevel.ML Sat Jan 20 14:09:20 2007 +0100 @@ -250,7 +250,7 @@ (** toplevel transitions **) val quiet = ref false; -val debug = ref false; +val debug = Output.debugging; val interact = ref false; val timing = Output.timing; val profiling = ref 0;