]> matita.cs.unibo.it Git - helm.git/commit - helm/style/mmlextension.xsl
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf5c41c) | patch
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
tree97cf73b44372c811e8a5e479c32f40f25697c3e9tree | snapshot
parentbf5c41c682dfa66f4f44b78c6f7de558e2364233commit | diff
First version using maction/toggle to navigate proofs.
helm/style/mmlextension.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.