]> matita.cs.unibo.it Git - helm.git/commit
added override for \circ (notation for function composition)
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 26 Sep 2005 16:13:44 +0000 (16:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 26 Sep 2005 16:13:44 +0000 (16:13 +0000)
commit24320a56c9cc9e92c0a03475e529b4a54f5d4e14
tree7ab7b0affc3ab7310308724c4b3ef6efd2c02e9f
parentc22e64ac3cb2a0e60a3289c03c4f7f0eff6a7d46
added override for \circ (notation for function composition)
helm/ocaml/utf8_macros/data/extra-entities.xml
helm/ocaml/utf8_macros/utf8MacroTable.ml