src/Pure/PIDE/document.ML
changeset 40532 f51c478ef85a
parent 40520 77a7b0a7d4b1
child 40534 9e196062bf88
     1.1 --- a/src/Pure/PIDE/document.ML	Sat Nov 13 21:01:03 2010 +0100
     1.2 +++ b/src/Pure/PIDE/document.ML	Sat Nov 13 21:46:24 2010 +0100
     1.3 @@ -197,7 +197,7 @@
     1.4    | NONE => ());
     1.5  
     1.6  fun async_state tr st =
     1.7 -  if Toplevel.print_of tr then
     1.8 +  if Toplevel.print_of tr orelse Keyword.is_proof (Toplevel.name_of tr) then
     1.9      ignore
    1.10        (Future.fork_group (Task_Queue.new_group NONE)
    1.11          (fn () =>