]> matita.cs.unibo.it Git - helm.git/commit
cut & paste typo fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Dec 2002 17:02:12 +0000 (17:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Dec 2002 17:02:12 +0000 (17:02 +0000)
commit7d917781c0e4a7463821258e1fca36fbe8acabb7
tree966a38e260ba79bbc0f3d266ea3018d5e616ad6e
parent8f6633d8c253484eb18f2ba8eb48213fe86c0ba0
cut & paste typo fixed
helm/style/mmlextension.xsl