Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Toplevel.debug: coincide with Output.debugging;
authorwenzelm
Sat, 20 Jan 2007 14:09:20 +0100
changeset 22135 cd3c167e6f19
parent 22134 ab01073210e4
child 22136 faff42afeacd
Toplevel.debug: coincide with Output.debugging;
src/Pure/Isar/toplevel.ML file | annotate | diff | comparison | revisions 
--- 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;
isabelle