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 14558 726f6761c562
parent 14552 e88f52b775a5
child 14565 c6dc17aab88a 
--- a/src/Pure/Thy/html.ML	Tue Apr 13 23:08:12 2004 +0200
+++ b/src/Pure/Thy/html.ML	Wed Apr 14 09:53:25 2004 +0200
@@ -156,6 +156,8 @@
      | "\\<nabla>" => (1.0, "&nabla;")
      | "\\<in>" => (1.0, "&isin;")
      | "\\<notin>" => (1.0, "&notin;")
+     | "\\<prod>" => (1.0, "&prod;")
+     | "\\<sum>" => (1.0, "&sum;")
      | "\\<star>" => (1.0, "&lowast;")
      | "\\<propto>" => (1.0, "&prop;")
      | "\\<infinity>" => (1.0, "&infin;")
isabelle