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/theory.ML
changeset 50201 c26369c9eda6
parent 48929 05d4e5f660ae
child 52696 38466f4f3483 
--- a/src/Pure/theory.ML	Sun Nov 25 18:50:13 2012 +0100
+++ b/src/Pure/theory.ML	Sun Nov 25 19:49:24 2012 +0100
@@ -133,7 +133,7 @@
   if id = 0 then Markup.empty
   else
     Markup.properties (Position.entity_properties_of def id pos)
-      (Isabelle_Markup.entity Isabelle_Markup.theoryN name);
+      (Markup.entity Markup.theoryN name);
 
 fun init_markup (name, pos) thy =
   let
isabelle