]> matita.cs.unibo.it Git - helm.git/commit
Corrected some wrong paths
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Sat, 2 Nov 2002 10:52:58 +0000 (10:52 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Sat, 2 Nov 2002 10:52:58 +0000 (10:52 +0000)
commit738e11d2c040e9df37a9206e61db2b6918171612
tree9105ea968f5fbbb7a79edf0854fb03e0e77b5b8e
parentbccf4dea619884094a8e7117d659e1866739f3e5
Corrected some wrong paths
helm/style/proofs.xsl