]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: now links to metadata are created iff at least one pointer is there.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 16:40:08 +0000 (16:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 16:40:08 +0000 (16:40 +0000)
commit6eda541021adb730255b7025d937874ef8886c32
tree79909918666f617538aaa110702b22bd8e002e7f
parentf7bcfbccab33854b334c9d1ca2da9b629d2e9621
Bug fixed: now links to metadata are created iff at least one pointer is there.
helm/on-line/xslt/metadataControl.xsl
helm/on-line/xslt/metadataLib.xsl