]> matita.cs.unibo.it Git - helm.git/commit
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Fri, 27 Jul 2001 10:06:04 +0000 (10:06 +0000)
committerIrene Schena <irene.schena@unibo.it>
Fri, 27 Jul 2001 10:06:04 +0000 (10:06 +0000)
commit06699deb3cda1102045062c5e54ac3de11e0c565
tree9d9d64236f294772ffbda7f53c1dbe827d4ac10e
parente6c462476daa856b7261dbb33734bda1c4846b66
Modified Files:
1) mmlextension.xsl: m:xref fixed
helm/style/mmlextension.xsl