]> matita.cs.unibo.it Git - helm.git/commit
Corrected some wrong paths
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Sat, 2 Nov 2002 10:47:28 +0000 (10:47 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Sat, 2 Nov 2002 10:47:28 +0000 (10:47 +0000)
commitbccf4dea619884094a8e7117d659e1866739f3e5
tree317ad82a66ee2bc0da290e7abd2906c4b2c118c5
parentc75bfdd4162050012614b70a68eff57fc3eabcc4
Corrected some wrong paths
helm/style/arith.xsl