]> matita.cs.unibo.it Git - helm.git/commit
Correct CurrentProof
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 30 Oct 2002 14:05:20 +0000 (14:05 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 30 Oct 2002 14:05:20 +0000 (14:05 +0000)
commit57303a4ab1f66a495df15477a999f7afb7ba4ad4
treeb1d090c7a11c0ca5a441b64d2a1361c6a2f85689
parent474d5d18dc72061c923976ec9bf7a7f6ef828af3
Correct CurrentProof
helm/style/objcontent.xsl