From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 10 Jun 2002 14:33:48 +0000 (+0000)
Subject: XSLT Version 0.1 ==> 1.0
X-Git-Tag: V_0_3_0_debian_8~58
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b3d5d4a1ac345d5d54fc91edaf320f01fa82f6b1;p=helm.git

XSLT Version 0.1 ==> 1.0
---

diff --git a/helm/style/expandobj.xsl b/helm/style/expandobj.xsl
index ee53cf2de..6c61823d8 100644
--- a/helm/style/expandobj.xsl
+++ b/helm/style/expandobj.xsl
@@ -29,7 +29,7 @@
 <!-- First draft: March 08 2001, Irene Schena                              -->
 <!--***********************************************************************--> 
 
-<xsl:stylesheet version="0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory">
 
 <!--******************************************************************-->
diff --git a/helm/style/ricerca.xsl b/helm/style/ricerca.xsl
index e22a2a943..d665eac51 100644
--- a/helm/style/ricerca.xsl
+++ b/helm/style/ricerca.xsl
@@ -24,7 +24,7 @@
 <!-- For details, see the HELM World-Wide-Web page,                    -->
 <!-- http://cs.unibo.it/helm/.                                         -->
 
-<xsl:stylesheet version="0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns:th="http://www.cs.unibo.it/helm/namespaces/helm-theory">
 
 <xsl:param name="getterURL" select="'http://localhost:8081/'"/>
diff --git a/helm/style/theory_content.xsl b/helm/style/theory_content.xsl
index d6ccafb4f..e3e50b1f1 100644
--- a/helm/style/theory_content.xsl
+++ b/helm/style/theory_content.xsl
@@ -29,7 +29,7 @@
 <!-- First draft: May 08 2000, Claudio Sacerdoti Coen, Irene Schena        -->
 <!--***********************************************************************--> 
 
-<xsl:stylesheet version="0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory">