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.
always print state of proof commands (notably "qed" etc.);
authorwenzelm
Sat, 13 Nov 2010 21:46:24 +0100
changeset 40532 f51c478ef85a
parent 40531 8ede48c93c72
child 40533 e38e80686ce5
always print state of proof commands (notably "qed" etc.);
src/Pure/PIDE/document.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/document.ML	Sat Nov 13 21:01:03 2010 +0100
+++ b/src/Pure/PIDE/document.ML	Sat Nov 13 21:46:24 2010 +0100
@@ -197,7 +197,7 @@
   | NONE => ());
 
 fun async_state tr st =
-  if Toplevel.print_of tr then
+  if Toplevel.print_of tr orelse Keyword.is_proof (Toplevel.name_of tr) then
     ignore
       (Future.fork_group (Task_Queue.new_group NONE)
         (fn () =>
isabelle