From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 1 Jun 2006 09:57:50 +0000 (+0000)
Subject: Bug fixed that made theory rendering bugged after visiting a whelp search page.
X-Git-Tag: make_still_working~7266
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=17c6ad0e6bf49a6690ff4fa5e56feac5a42b9099;p=helm.git

Bug fixed that made theory rendering bugged after visiting a whelp search page.
---

diff --git a/helm/software/daemons/on-line/xslt/resolve_topurl.xsl b/helm/software/daemons/on-line/xslt/resolve_topurl.xsl
index c7f664374..04b6a858a 100644
--- a/helm/software/daemons/on-line/xslt/resolve_topurl.xsl
+++ b/helm/software/daemons/on-line/xslt/resolve_topurl.xsl
@@ -249,12 +249,12 @@
  <input type="hidden" name="param.prooftreekeys" value="{$prooftreekeys}"/>
 
  <input type="hidden" name="param.media-type" value="{$media-type}"/>
- <input type="hidden" name="param.thmedia-type" select="{$thmedia-type}"/>
- <input type="hidden" name="prooftreemedia-type" select="{$prooftreemedia-type}"/>
- <input type="hidden" name="param.doctype-public" select="{$doctype-public}"/>
- <input type="hidden" name="param.encoding" select="{$encoding}"/>
- <input type="hidden" name="param.thencoding" select="{$thencoding}"/>
- <input type="hidden" name="param.prooftreeencoding" select="{$prooftreeencoding}"/>
+ <input type="hidden" name="param.thmedia-type" value="{$thmedia-type}"/>
+ <input type="hidden" name="prooftreemedia-type" value="{$prooftreemedia-type}"/>
+ <input type="hidden" name="param.doctype-public" value="{$doctype-public}"/>
+ <input type="hidden" name="param.encoding" value="{$encoding}"/>
+ <input type="hidden" name="param.thencoding" value="{$thencoding}"/>
+ <input type="hidden" name="param.prooftreeencoding" value="{$prooftreeencoding}"/>
 </xsl:template>
 
 <xsl:template name="j_params">
@@ -267,12 +267,12 @@
  <input type="hidden" name="j_prooftreekeys" value="{$prooftreekeys}"/>
 
  <input type="hidden" name="j_media_type" value="{$media-type}"/>
- <input type="hidden" name="j_thmedia_type" select="{$thmedia-type}"/>
- <input type="hidden" name="j_prooftreemedia_type" select="{$prooftreemedia-type}"/>
- <input type="hidden" name="j_doctype_public" select="{$doctype-public}"/>
- <input type="hidden" name="j_encoding" select="{$encoding}"/>
- <input type="hidden" name="j_thencoding" select="{$thencoding}"/>
- <input type="hidden" name="j_prooftreeencoding" select="{$prooftreeencoding}"/>
+ <input type="hidden" name="j_thmedia_type" value="{$thmedia-type}"/>
+ <input type="hidden" name="j_prooftreemedia_type" value="{$prooftreemedia-type}"/>
+ <input type="hidden" name="j_doctype_public" value="{$doctype-public}"/>
+ <input type="hidden" name="j_encoding" value="{$encoding}"/>
+ <input type="hidden" name="j_thencoding" value="{$thencoding}"/>
+ <input type="hidden" name="j_prooftreeencoding" value="{$prooftreeencoding}"/>
 </xsl:template>
 
 <xsl:template match="/|*">
diff --git a/helm/software/daemons/on-line/xslt/substKey.xsl b/helm/software/daemons/on-line/xslt/substKey.xsl
index 23b12a1e9..76b29991b 100644
--- a/helm/software/daemons/on-line/xslt/substKey.xsl
+++ b/helm/software/daemons/on-line/xslt/substKey.xsl
@@ -9,6 +9,7 @@
 <xsl:output
        method="html"
        encoding="utf8"
+       doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
        media-type="text/html" />
 <!--
 <xsl:output