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 15336 cb35ae957c65
parent 14992 a16bc5abad45
child 15531 08c8dad8e399 
--- a/src/Pure/Thy/html.ML	Thu Nov 25 20:33:35 2004 +0100
+++ b/src/Pure/Thy/html.ML	Mon Nov 29 06:09:45 2004 +0100
@@ -92,7 +92,7 @@
      | "\\<questiondown>" => (1.0, "&iquest;")
      | "\\<times>" => (1.0, "&times;")
      | "\\<div>" => (1.0, "&divide;")
-     | "\\<circ>" => (1.0, "&circ;")
+     | "\\<circ>" => (1.0, "o")
      | "\\<Alpha>" => (1.0, "&Alpha;")
      | "\\<Beta>" => (1.0, "&Beta;")
      | "\\<Gamma>" => (1.0, "&Gamma;")
isabelle