]> matita.cs.unibo.it Git - helm.git/commit
forall csymbol added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Dec 2000 12:34:23 +0000 (12:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Dec 2000 12:34:23 +0000 (12:34 +0000)
commitaa12f8cd84908fb3757a582cadd36ef49e269a2b
tree6ec45de784674b90d37617fafa42cb13ff6de2e4
parent7fc5117fc5d5dd4ed387f9163581978e105aa653
forall csymbol added
helm/style/content.xsl
helm/style/mmlextension.xsl