From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 30 May 2006 15:48:33 +0000 (+0000)
Subject: NuPRL stylesheets default encoding changed to UTF8
X-Git-Tag: make_still_working~7274
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=563808f921851342ac07effb318cc88fc5d9aefa;p=helm.git

NuPRL stylesheets default encoding changed to UTF8
---

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" />
 
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">