src/Pure/PIDE/document.ML

   (case try Toplevel.proof_of st of
     SOME prf => Toplevel.status tr (Proof.status_markup prf)
   | 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 () =>
           Toplevel.setmp_thread_position tr
             (fn () => Toplevel.print_state false st) ()))