X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fsearch.xsl;h=17fbee744aab401288194feb590536169a344275;hb=1063eca1bcf978717317356f493ef2a5e456b458;hp=226b7d069ec376522954313658194aa25dd44956;hpb=8efe0bd61c215608ad2a7df5a12be81fae2eaf59;p=helm.git

diff --git a/helm/on-line/xslt/search.xsl b/helm/on-line/xslt/search.xsl
index 226b7d069..17fbee744 100644
--- a/helm/on-line/xslt/search.xsl
+++ b/helm/on-line/xslt/search.xsl
@@ -37,10 +37,12 @@
 
 <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"/>
 
@@ -50,6 +52,12 @@
  </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>