]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/on-line/xslt/substKey.xsl
snapshot for camlp5 v5
[helm.git] / daemons / on-line / xslt / substKey.xsl
index 4172956b6415d6ddbcd7c7f56b5b37483ed2ff2d..76b29991b29671ed8ee8e7e63adb924389e8d623 100644 (file)
@@ -8,13 +8,13 @@
 
 <xsl:output
        method="html"
-       encoding="UTF-8"
+       encoding="utf8"
        doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
        media-type="text/html" />
 <!--
 <xsl:output
         method="xml"
-        encoding="UTF-8"
+        encoding="utf8"
         media-type="text/xml"
         doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
         doctype-system="DTD/xhtml1-transitional.dtd" />