]> matita.cs.unibo.it Git - helm.git/commitdiff
utf8 changed to UTF-8 for compatibility with IExplorer
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 15 Sep 2007 15:18:53 +0000 (15:18 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 15 Sep 2007 15:18:53 +0000 (15:18 +0000)
daemons/on-line/xslt/getParam.xsl
daemons/on-line/xslt/ls2theory.xsl
daemons/on-line/xslt/makeGraphLinks.xsl
daemons/on-line/xslt/metadataControl.xsl
daemons/on-line/xslt/substKey.xsl

index 14d09f07b7e2efa9d04e3006d12802b1b5d096df..8caeee9eae40db213c5b62ee4241ed73af57cf66 100644 (file)
@@ -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" />
index 3e9e4abec3d4f48100b4bd15f4664abea74c352f..91942331bb1c2827aa58c16dea6ed15a0b778977 100644 (file)
@@ -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="''" />
index 62c68d227160b319180ed032743c16e66c13dd40..13f44021651d6a517e6a2b2b1cceda73835ff3cb 100644 (file)
@@ -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>
index b548037a5ba8667041cca0b6b98da6e08e29d158..d4fb97d950f9189ea9d7cb15560e801a35ab1c11 100644 (file)
@@ -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" />
index 76b29991b29671ed8ee8e7e63adb924389e8d623..4172956b6415d6ddbcd7c7f56b5b37483ed2ff2d 100644 (file)
@@ -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" />