changeset 22135 | cd3c167e6f19 |
parent 22095 | 07875394618e |
child 22588 | 4a859d13ef83 |
--- 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;