]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/on-line/xslt/getParam.xsl
snapshot for camlp5 v5
[helm.git] / daemons / on-line / xslt / getParam.xsl
index 8caeee9eae40db213c5b62ee4241ed73af57cf66..14d09f07b7e2efa9d04e3006d12802b1b5d096df 100644 (file)
@@ -7,7 +7,7 @@
 
 <xsl:output 
        method="xml"
-       encoding="UTF-8" 
+       encoding="utf8" 
        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" />