]> matita.cs.unibo.it Git - helm.git/commit
*** empty log message ***
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 7 Mar 2001 08:40:27 +0000 (08:40 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 7 Mar 2001 08:40:27 +0000 (08:40 +0000)
commit2ad14dd8ca7dde8d3a5a33ebc466d3ea77b4b6c6
tree208b9586d898ff55ed025174dda3b3ee17c073f3
parent7998b94e5f83fb3c9009762a875a0136bc4052ec
*** empty log message ***
helm/style/content_to_html.xsl
helm/style/proofs.xsl