]> matita.cs.unibo.it Git - helm.git/commitdiff
Xml.token is now namespace-aware. As a consequence, xml2Gdomexmath is
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Jul 2003 22:46:22 +0000 (22:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Jul 2003 22:46:22 +0000 (22:46 +0000)
no longer needed. (It was a terrible hack indeed).


No differences found