From: Claudio Sacerdoti Coen Date: Thu, 25 Oct 2001 09:45:52 +0000 (+0000) Subject: Oooops. I have exchanged the targets of the links to the graphs of X-Git-Tag: v0_1_3~43 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=120d139d6f8743ab2ab8a80d0b52247fe917b50b;p=helm.git Oooops. I have exchanged the targets of the links to the graphs of forward and backward dependencies. Fixed. --- diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index 900797e5f..7dbd5fd63 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -55,7 +55,7 @@

@@ -74,7 +74,7 @@