]> matita.cs.unibo.it Git - helm.git/commit
Porting to the new DTD for MoWGLI.
authorPietro Di Lena <pietro.dilena@unibo.it>
Thu, 21 Nov 2002 17:14:32 +0000 (17:14 +0000)
committerPietro Di Lena <pietro.dilena@unibo.it>
Thu, 21 Nov 2002 17:14:32 +0000 (17:14 +0000)
commitadbb8f993af86259003d7978a26de549b3aef2ae
treeffd7f5083bd864a98ee2cece81f69f65d4387a70
parent5379335718a93d3e933d9bfdc0dd85f00983bc21
Porting to the new DTD for MoWGLI.
helm/meta_style/Makefile
helm/meta_style/algebra.xml
helm/meta_style/arith.xml
helm/meta_style/basic.xml
helm/meta_style/meta_cic2mathml.xsl
helm/meta_style/positive.xsl
helm/meta_style/set.xml