]> matita.cs.unibo.it Git - helm.git/commitdiff
Bug fixed that made theory rendering bugged after visiting a whelp search page.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 1 Jun 2006 09:57:50 +0000 (09:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 1 Jun 2006 09:57:50 +0000 (09:57 +0000)
daemons/on-line/xslt/resolve_topurl.xsl
daemons/on-line/xslt/substKey.xsl

index c7f66437463d08c78224b1bf2702fc464954f5d7..04b6a858a94ad2de845b6d286e7f63360243dcda 100644 (file)
  <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">
  <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="/|*">
index 23b12a1e9b5294635252160db1649947a1a32570..76b29991b29671ed8ee8e7e63adb924389e8d623 100644 (file)
@@ -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