]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/search.xsl
ocaml 3.09 transition
[helm.git] / helm / on-line / xslt / search.xsl
index 226b7d069ec376522954313658194aa25dd44956..17fbee744aab401288194feb590536169a344275 100644 (file)
 
 <xsl:param name="action" select="''"/>
 <xsl:param name="expression" select="''"/>
+<xsl:param name="advanced" select="no"/>
 <xsl:param name="choices" select="''"/>
 <xsl:param name="interp" select="''"/>
 <xsl:param name="constraints" select="''"/>
 <xsl:param name="searchengineURL" select="''"/>
+<xsl:param name="url" select="''"/>
 
 <xsl:include href="links_library.xsl"/>
 
  </xsl:call-template>
 </xsl:variable>
 
+<xsl:variable name="quoted_url">
+ <xsl:call-template name="quote">
+  <xsl:with-param name="s" select="$url"/>
+ </xsl:call-template>
+</xsl:variable>
+
 <xsl:variable name="quoted_choices">
  <xsl:call-template name="quote">
   <xsl:with-param name="s" select="$choices"/>
@@ -74,7 +82,7 @@
 </xsl:variable>
 
 <xsl:template match="/">
- <xsl:copy-of select="document(concat($searchengineURL,$action,'?expression=',$quoted_expression,'&amp;choices=',$quoted_choices,'&amp;interpretation_choices=',$interp,$param_constraints))"/> 
+ <xsl:copy-of select="document(concat($searchengineURL,$action,'?expression=',$quoted_expression,'&amp;advanced=',$advanced,'&amp;choices=',$quoted_choices,'&amp;interpretation_choices=',$interp,$param_constraints,'&amp;url=',$quoted_url,'&amp;preprocess=true'))"/> 
 </xsl:template>
 
 </xsl:stylesheet>