X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fxml%2Fnuprl_stylesheets%2Fnuprl_links_library.xsl;h=2276601237a28db43522e6ea0bda5671715817b2;hb=bb246930370226dc96c9b9121f59853a0a2f1434;hp=29426a3c37fb5761809d506eed3a3c2eac763d85;hpb=9a9c95ebabbb1d4d7dce627ed1baea130ea98766;p=helm.git

diff --git a/helm/xml/nuprl_stylesheets/nuprl_links_library.xsl b/helm/xml/nuprl_stylesheets/nuprl_links_library.xsl
index 29426a3c3..227660123 100644
--- a/helm/xml/nuprl_stylesheets/nuprl_links_library.xsl
+++ b/helm/xml/nuprl_stylesheets/nuprl_links_library.xsl
@@ -57,8 +57,8 @@
 <xsl:param name="media-type" select="'text/html'"/>
 <xsl:param name="thmedia-type" select="'text/html'"/>
 <xsl:param name="doctype-public" select="'-//W3C//DTD XHTML 1.0 Transitional//EN'"/>
-<xsl:param name="encoding" select="'iso-8859-1'"/>
-<xsl:param name="thencoding" select="'iso-8859-1'"/>
+<xsl:param name="encoding" select="'utf8'"/>
+<xsl:param name="thencoding" select="'utf8'"/>
 
 
 <xsl:template name="quote">