X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fxml%2Fnuprl_stylesheets%2Fnuprl_content_to_html2.xsl;h=8601dfd3423a002e77733b5d2f291839f14f31c4;hb=ccf5878f2a2ec7f952f140e162391708a740517b;hp=ef15f1961ab592f13a804062a9e9a558cba2f7ea;hpb=9a9c95ebabbb1d4d7dce627ed1baea130ea98766;p=helm.git

diff --git a/helm/xml/nuprl_stylesheets/nuprl_content_to_html2.xsl b/helm/xml/nuprl_stylesheets/nuprl_content_to_html2.xsl
index ef15f1961..8601dfd34 100644
--- a/helm/xml/nuprl_stylesheets/nuprl_content_to_html2.xsl
+++ b/helm/xml/nuprl_stylesheets/nuprl_content_to_html2.xsl
@@ -46,7 +46,7 @@
 <!-- HTML Head and Body                                                    -->
 <!--***********************************************************************-->
 
-<!-- <xsl:output method="html" encoding="iso-8859-1"/> -->
+<!-- <xsl:output method="html" encoding="utf8"/> -->
 
 <!-- document needs method="xml" and searches locally for the dtd if        -->
 <!-- doctype-system is specified (the dtd must exist locally for parsing).  -->
@@ -58,13 +58,13 @@
 <!--
 <xsl:output 
 	method="xml" 
-	encoding="iso-8859-1" 
+	encoding="utf8" 
 	media-type="text/html"
 	doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN" />
 -->
 <xsl:output 
 	method="html" 
-	encoding="iso-8859-1" 
+	encoding="utf8" 
 	media-type="text/html"
 	doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN" />