Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Note about theorem dependencies including themselves.
authoraspinall
Wed, 13 Jul 2005 11:29:08 +0200
changeset 16789 e8f7a6ec92e5
parent 16788 0c6f5fe30676
child 16790 be2780f435e1
Note about theorem dependencies including themselves.
src/Pure/proof_general.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle