]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/on-line/xslt/ls2theory.xsl
snapshot for camlp5 v5
[helm.git] / daemons / on-line / xslt / ls2theory.xsl
index 91942331bb1c2827aa58c16dea6ed15a0b778977..3e9e4abec3d4f48100b4bd15f4664abea74c352f 100644 (file)
@@ -6,7 +6,7 @@
   xmlns="http://www.w3.org/1999/xhtml"
 >
 
-  <xsl:output method="html" encoding="UTF-8"/>
+  <xsl:output method="html" encoding="utf8"/>
 
   <xsl:param name="CICURI" select="''" />
   <xsl:param name="interfaceURL" select="''" />