]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/on-line/xslt/resolve_topurl.xsl
Bug fixed that made theory rendering bugged after visiting a whelp search page.
[helm.git] / daemons / on-line / xslt / resolve_topurl.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="/|*">