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/html.ML
changeset 10831 024bdf8e52a4
parent 10573 1751ab881289
child 10837 7d640de604e4 
--- a/src/Pure/Thy/html.ML	Tue Jan 09 15:17:08 2001 +0100
+++ b/src/Pure/Thy/html.ML	Tue Jan 09 15:18:07 2001 +0100
@@ -77,7 +77,7 @@
      | "\\<not>" => (1.0, "&not;")
      | "\\<hyphen>" => (1.0, "&shy;")
      | "\\<registered>" => (1.0, "&reg;")
-     | "\\<macron>" => (1.0, "&macr;")
+     | "\\<inverse>" => (1.0, "&macr;")
      | "\\<degree>" => (1.0, "&deg;")
      | "\\<plusminus>" => (1.0, "&plusmn;")
      | "\\<twosuperior>" => (1.0, "&sup2;")
isabelle