]> matita.cs.unibo.it Git - helm.git/commit
Variable redefined. Fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 25 Feb 2004 11:27:00 +0000 (11:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 25 Feb 2004 11:27:00 +0000 (11:27 +0000)
commita6be2877b7ed9c9add7060ea853206d5b7d0d673
tree7a3a2f76f8ea2e4fe128f591c17c5edc95fac025
parent45420a5e9a763c6b5fdafa261f84d2e2370c8fc0
Variable redefined. Fixed.
helm/nuprl_stylesheets/nuprl_content_to_html2.xsl