From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 31 Oct 2002 13:18:36 +0000 (+0000)
Subject: Metadata DTD changed.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=21dfe40afed7b951e6b7c51a44e1c19432af3a42;p=helm.git

Metadata DTD changed.
---

diff --git a/helm/style/mk_meta_and_dep_graph.xsl b/helm/style/mk_meta_and_dep_graph.xsl
index a9a9a954b..9a0c789cc 100644
--- a/helm/style/mk_meta_and_dep_graph.xsl
+++ b/helm/style/mk_meta_and_dep_graph.xsl
@@ -33,7 +33,7 @@
 <xsl:stylesheet version="1.0"
   xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
-  xmlns:h="http:/www.cs.unibo.it/helm/schemas/schema-h.rdf#">
+  xmlns:h="http://www.cs.unibo.it/helm/schemas/mattone.rdf#">
 
 <xsl:output method="text"/>
 
@@ -248,12 +248,12 @@
  <xsl:for-each select="*/*/*">
   <xsl:variable name="quotedURI">
    <xsl:call-template name="quote">
-    <xsl:with-param name="s" select="@rdf:value"/>
+    <xsl:with-param name="s" select="h:occurrence"/>
    </xsl:call-template>
   </xsl:variable>
   <xsl:variable name="quoted_uri">
    <xsl:call-template name="quote_url">
-    <xsl:with-param name="s" select="@rdf:value"/>
+    <xsl:with-param name="s" select="h:occurrence"/>
    </xsl:call-template>
   </xsl:variable>
   <!-- The nonce, quotedCurrentCICURI are used to force the document reload -->