Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/thm_deps.ML
changeset 30280 eb98b49ef835
parent 29606 fedb8be05f24
child 30364 577edc39b501 
--- a/src/Pure/Thy/thm_deps.ML	Thu Mar 05 11:58:53 2009 +0100
+++ b/src/Pure/Thy/thm_deps.ML	Thu Mar 05 12:08:00 2009 +0100
@@ -33,7 +33,7 @@
                | _ => ["global"]);
             val parents = filter_out (fn s => s = "") (map (#1 o #2) thms');
             val entry =
-              {name = Sign.base_name name,
+              {name = NameSpace.base_name name,
                ID = name,
                dir = space_implode "/" (session @ prefix),
                unfold = false,
isabelle