]> matita.cs.unibo.it Git - helm.git/commit
- addded unicode_of_tex
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 25 Jul 2005 10:13:30 +0000 (10:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 25 Jul 2005 10:13:30 +0000 (10:13 +0000)
commit7b7e9b07ee3bb4d12d522b2deae3aa5b62df4793
treeace7c1d5d8c60d6405c267e11ec1fd926fded337
parentb914ae34a06a08c9ada1a558dde14b78818fa279
- addded unicode_of_tex
- added \neq macro
helm/ocaml/utf8_macros/data/extra-entities.xml
helm/ocaml/utf8_macros/utf8Macro.ml
helm/ocaml/utf8_macros/utf8Macro.mli
helm/ocaml/utf8_macros/utf8MacroTable.ml