diff -r abb5d1f907e4 -r 5910dd009d0e src/Tools/try.ML
--- a/src/Tools/try.ML	Fri May 27 10:30:08 2011 +0200
+++ b/src/Tools/try.ML	Fri May 27 10:30:08 2011 +0200
@@ -57,6 +57,7 @@
 
 fun try_tools state =
   get_tools (Proof.theory_of state)
+  |> tap (fn _ => Output.urgent_message "Trying...")
   |> Par_List.get_some
          (fn (name, (_, tool)) =>
              case try (tool false) state of