# HG changeset patch
# User wenzelm
# Date 979049887 -3600
# Node ID 024bdf8e52a4f2f7c929d3996dc4973f29ec510b
# Parent  d19f9f4c35ee10dfe8f30f30c0abff45a5d3779f
replaced \<macron> by \<inverse>;

diff -r d19f9f4c35ee -r 024bdf8e52a4 src/Pure/Thy/html.ML
--- 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;")