]> matita.cs.unibo.it Git - helm.git/commit
Minor bug fixes in the 'instantiate' element handling.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 5 Dec 2002 13:35:19 +0000 (13:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 5 Dec 2002 13:35:19 +0000 (13:35 +0000)
commitb58d7cd51389115f74edb883912178c866e00103
treeb12fcfddda8606db35527c97f2c535008e67379c
parent19713b321fef827960f8fac7c6bfeb50eac29ec4
Minor bug fixes in the 'instantiate' element handling.
helm/style/content.xsl
helm/style/mmlextension.xsl