From: Claudio Sacerdoti Coen Date: Wed, 24 Oct 2001 16:40:08 +0000 (+0000) Subject: Bug fixed: now links to metadata are created iff at least one pointer is there. X-Git-Tag: v0_1_3~46 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6eda541021adb730255b7025d937874ef8886c32;p=helm.git Bug fixed: now links to metadata are created iff at least one pointer is there. --- diff --git a/helm/on-line/xslt/metadataControl.xsl b/helm/on-line/xslt/metadataControl.xsl index 4842a0f8b..9960ab776 100644 --- a/helm/on-line/xslt/metadataControl.xsl +++ b/helm/on-line/xslt/metadataControl.xsl @@ -13,38 +13,36 @@ - -

Metadata related to :

- + - +

Metadata related to :

- + - +
- + - + diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index b1434add6..7a2f8ec99 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -8,6 +8,10 @@ + + + + @@ -23,87 +27,75 @@ - + - - - - - - - - - - -

- Object is never referenced in other objects -

- - - -
- - - - - -

- -

-

- +

+

+ -

- - - - -
+ +

+ + +

+ Object is never referenced in other objects +

+
+ - - - -

- - -

+ +

+ + +

+ Object does not reference any other object +

+
+