]> matita.cs.unibo.it Git - helm.git/commit
* Added divides and ndivides
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Sep 2005 17:07:00 +0000 (17:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Sep 2005 17:07:00 +0000 (17:07 +0000)
commit564d4fe0793c625b9c6be05fa05d5fbb50c61703
tree29735884898e9d62fb398012c59aa5c3380c54bf
parent107b7efc2281a24ab2a4ddd2cec88329f88ee8cb
* Added divides and ndivides
* Removed sub and sup
helm/ocaml/utf8_macros/data/entities-table.xml
helm/ocaml/utf8_macros/data/extra-entities.xml
helm/ocaml/utf8_macros/utf8MacroTable.ml