From: Claudio Sacerdoti Coen Date: Thu, 17 Jun 2004 13:48:56 +0000 (+0000) Subject: - moogle replaces the old search engine X-Git-Tag: pre_subst_in_kernel~26 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1063eca1bcf978717317356f493ef2a5e456b458;p=helm.git - moogle replaces the old search engine --- diff --git a/helm/on-line/xslt/resolve_topurl.xsl b/helm/on-line/xslt/resolve_topurl.xsl index 4f794af39..695047108 100644 --- a/helm/on-line/xslt/resolve_topurl.xsl +++ b/helm/on-line/xslt/resolve_topurl.xsl @@ -1,6 +1,7 @@ @@ -217,6 +218,58 @@ + + + +
+ + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 @@ + + @@ -50,6 +52,12 @@ + + + + + + @@ -74,7 +82,7 @@ - +
diff --git a/helm/on-line/xslt/toplevel_header.xsl b/helm/on-line/xslt/toplevel_header.xsl index d8fdb2f42..88650a5a7 100644 --- a/helm/on-line/xslt/toplevel_header.xsl +++ b/helm/on-line/xslt/toplevel_header.xsl @@ -5,6 +5,8 @@ xmlns:helm="http://www.cs.unibo.it/helm" xmlns:html="http://www.w3.org/1999/xhtml"> + + @@ -68,7 +70,10 @@ - [search] + + + + [search]