]> matita.cs.unibo.it Git - helm.git/commit
First version using maction/toggle to navigate proofs.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jul 2001 15:19:31 +0000 (15:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jul 2001 15:19:31 +0000 (15:19 +0000)
commit1fff0186531410297e970ba862947b2cbd539fb5
tree97cf73b44372c811e8a5e479c32f40f25697c3e9
parentbf5c41c682dfa66f4f44b78c6f7de558e2364233
First version using maction/toggle to navigate proofs.
helm/style/mmlextension.xsl