]> matita.cs.unibo.it Git - helm.git/commit
Inserted msqrt to mark where to do some modifications
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Nov 2000 12:01:04 +0000 (12:01 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Nov 2000 12:01:04 +0000 (12:01 +0000)
commita107c3f2bd2f23bd3dab08cf2104416ee2fdcf1e
tree807b727af05c1d2fdaae4ce581cae94a76db9006
parent4b5873b80dafe4b009ba71cbe6f4a95e8b59dcaf
Inserted msqrt to mark where to do some modifications
helm/style/content.xsl