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.
removed "debug := true" that shouldn't have been submitted in the first place
authorblanchet
Tue, 17 Nov 2009 19:08:02 +0100
changeset 33742 83ae8b7e2768
parent 33740 5fd36780760b
child 33743 a58893035742
removed "debug := true" that shouldn't have been submitted in the first place
src/HOL/Nitpick_Examples/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Nitpick_Examples/ROOT.ML	Tue Nov 17 18:25:05 2009 +0100
+++ b/src/HOL/Nitpick_Examples/ROOT.ML	Tue Nov 17 19:08:02 2009 +0100
@@ -5,7 +5,6 @@
 Nitpick examples.
 *)
 
-Toplevel.debug := true;
 if getenv "KODKODI" = "" then
   ()
 else
isabelle