src/Pure/proof_general.ML

--- a/src/Pure/proof_general.ML	Wed Jul 13 11:28:09 2005 +0200
+++ b/src/Pure/proof_general.ML	Wed Jul 13 11:29:08 2005 +0200
@@ -470,6 +470,7 @@
 
 val spaces_quote = space_implode " " o map quote;
 
+(* FIXME: investigate why dependencies at the moment include themselves! *)
 fun thm_deps_message (thms, deps) =
   if pgip() then
     issue_pgips