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/variable.ML
changeset 50201 c26369c9eda6
parent 49688 c517d900805a
child 54740 91f54d386680 
--- a/src/Pure/variable.ML	Sun Nov 25 18:50:13 2012 +0100
+++ b/src/Pure/variable.ML	Sun Nov 25 19:49:24 2012 +0100
@@ -81,7 +81,7 @@
 (** local context data **)
 
 type fixes = string Name_Space.table;
-val empty_fixes: fixes = Name_Space.empty_table Isabelle_Markup.fixedN;
+val empty_fixes: fixes = Name_Space.empty_table Markup.fixedN;
 
 datatype data = Data of
  {is_body: bool,                        (*inner body mode*)
isabelle