Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/document.ML
changeset 40532 f51c478ef85a
parent 40520 77a7b0a7d4b1
child 40534 9e196062bf88 
--- 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