]> matita.cs.unibo.it Git - helm.git/commit
I don't know
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Nov 2000 13:25:02 +0000 (13:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Nov 2000 13:25:02 +0000 (13:25 +0000)
commit22344b1810548a3a75e0a7f36d23e8f8117ff633
tree5c909d64c08a7229a6f1de582fafd2071372ec73
parentad8d3794f840d9f70759c8e599c75dab6ef74a02
I don't know
helm/style/mmlextension.xsl
helm/style/proofs.xsl