]> matita.cs.unibo.it Git - helm.git/commit
Last commit before major modifications to do.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 13 Dec 2002 09:58:48 +0000 (09:58 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 13 Dec 2002 09:58:48 +0000 (09:58 +0000)
commit6211eb6044a69430bb69e05ebb9b39994e8f8f20
tree765de851d1af4cf6e8061c638e207436777575d4
parent4c47727977f13d6e4946fb78bad8d25e8a22a10c
Last commit before major modifications to do.
helm/style/proofs.xsl
helm/style/rootcontent.xsl