From: Claudio Sacerdoti Coen Date: Fri, 9 Nov 2001 12:37:44 +0000 (+0000) Subject: Small bug fixed. X-Git-Tag: v0_1_3~3 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0bb9ab0ae31507f41c7e5d1dd201850c97e650b4;p=helm.git Small bug fixed. --- diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index 1a45e4eb9..59c519b29 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -44,10 +44,10 @@ (30 suggested) - +