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.
toggled show_main_goal
authornipkow
Tue, 18 Mar 2003 17:55:54 +0100
changeset 13869 18112403c809
parent 13868 01b516b64233
child 13870 cf947d1ec5ff
toggled show_main_goal
src/Pure/Isar/proof.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof.ML	Tue Mar 18 17:54:27 2003 +0100
+++ b/src/Pure/Isar/proof.ML	Tue Mar 18 17:55:54 2003 +0100
@@ -321,7 +321,7 @@
 
 (** pretty_state **)
 
-val show_main_goal = ref true;
+val show_main_goal = ref false;
 
 val verbose = ProofContext.verbose;
isabelle