From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sat, 15 Sep 2007 15:18:53 +0000 (+0000)
Subject: utf8 changed to UTF-8 for compatibility with IExplorer
X-Git-Tag: 0.4.95@7852~164
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a8623bff9e8d62d1fd4015b899ec4f4d2425ae1a;p=helm.git

utf8 changed to UTF-8 for compatibility with IExplorer
---

diff --git a/daemons/on-line/xslt/getParam.xsl b/daemons/on-line/xslt/getParam.xsl
index 14d09f07b..8caeee9ea 100644
--- a/daemons/on-line/xslt/getParam.xsl
+++ b/daemons/on-line/xslt/getParam.xsl
@@ -7,7 +7,7 @@
 
 <xsl:output 
 	method="xml"
-	encoding="utf8" 
+	encoding="UTF-8" 
 	media-type="text/html"
  	doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
   	doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" />
diff --git a/daemons/on-line/xslt/ls2theory.xsl b/daemons/on-line/xslt/ls2theory.xsl
index 3e9e4abec..91942331b 100644
--- a/daemons/on-line/xslt/ls2theory.xsl
+++ b/daemons/on-line/xslt/ls2theory.xsl
@@ -6,7 +6,7 @@
   xmlns="http://www.w3.org/1999/xhtml"
 >
 
-  <xsl:output method="html" encoding="utf8"/>
+  <xsl:output method="html" encoding="UTF-8"/>
 
   <xsl:param name="CICURI" select="''" />
   <xsl:param name="interfaceURL" select="''" />
diff --git a/daemons/on-line/xslt/makeGraphLinks.xsl b/daemons/on-line/xslt/makeGraphLinks.xsl
index 62c68d227..13f440216 100644
--- a/daemons/on-line/xslt/makeGraphLinks.xsl
+++ b/daemons/on-line/xslt/makeGraphLinks.xsl
@@ -37,7 +37,7 @@
 <xsl:param name="uri_set_size" select="''"/>
 <!--CSC: end of cut & paste also in metadataLib.xsl -->
 
-<xsl:output method="html" encoding="utf8"/>
+<xsl:output method="html" encoding="UTF-8"/>
 
 <xsl:template match="/|*">
   <xsl:copy>
diff --git a/daemons/on-line/xslt/metadataControl.xsl b/daemons/on-line/xslt/metadataControl.xsl
index b548037a5..d4fb97d95 100644
--- a/daemons/on-line/xslt/metadataControl.xsl
+++ b/daemons/on-line/xslt/metadataControl.xsl
@@ -12,7 +12,7 @@
 
 <xsl:output 
 	method="xml"
-	encoding="utf8" 
+	encoding="UTF-8" 
 	media-type="text/html"
  	doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
   	doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" />
diff --git a/daemons/on-line/xslt/substKey.xsl b/daemons/on-line/xslt/substKey.xsl
index 76b29991b..4172956b6 100644
--- a/daemons/on-line/xslt/substKey.xsl
+++ b/daemons/on-line/xslt/substKey.xsl
@@ -8,13 +8,13 @@
 
 <xsl:output
        method="html"
-       encoding="utf8"
+       encoding="UTF-8"
        doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
        media-type="text/html" />
 <!--
 <xsl:output
         method="xml"
-        encoding="utf8"
+        encoding="UTF-8"
         media-type="text/xml"
         doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
         doctype-system="DTD/xhtml1-transitional.dtd" />