diff -r 50cc036f1522 -r c09f4005d6bd src/HOL/Tools/Sledgehammer/async_manager.ML
--- a/src/HOL/Tools/Sledgehammer/async_manager.ML	Wed Sep 04 13:45:46 2013 +0200
+++ b/src/HOL/Tools/Sledgehammer/async_manager.ML	Wed Sep 04 15:27:24 2013 +0200
@@ -6,6 +6,8 @@
 Central manager for asynchronous diagnosis tool threads.
 *)
 
+(*Proof General legacy*)
+
 signature ASYNC_MANAGER =
 sig
   val break_into_chunks : string -> string list