From: Stefano Zacchiroli Date: Fri, 8 Apr 2005 11:47:01 +0000 (+0000) Subject: changed logo: whelp! X-Git-Tag: after_svn_merge~38 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=db8cb29c71b8a7203e1038223e39cfc349671aa7;p=helm.git changed logo: whelp! --- diff --git a/helm/searchEngine/html/moogle_form.html.src b/helm/searchEngine/html/moogle_form.html.src index d98eebfd3..c594a10ff 100644 --- a/helm/searchEngine/html/moogle_form.html.src +++ b/helm/searchEngine/html/moogle_form.html.src @@ -9,7 +9,7 @@ - +
mooglewhelp    diff --git a/helm/searchEngine/html/moogle_header.html.src b/helm/searchEngine/html/moogle_header.html.src index d406b0b79..a788d1f6d 100644 --- a/helm/searchEngine/html/moogle_header.html.src +++ b/helm/searchEngine/html/moogle_header.html.src @@ -4,7 +4,7 @@ xmlns="http://www.w3.org/1999/xhtml" > - Moogle + Whelp search @@ -10,7 +10,7 @@
- +
moogle
moogle

diff --git a/helm/searchEngine/html/moogle_syntax.html b/helm/searchEngine/html/moogle_syntax.html index 2d7839409..7fa0fe380 100644 --- a/helm/searchEngine/html/moogle_syntax.html +++ b/helm/searchEngine/html/moogle_syntax.html @@ -11,12 +11,12 @@
- moogle + whelp
-

Moogle Input Syntax

+

Whelp Input Syntax

  • locate <pattern> diff --git a/helm/searchEngine/html/whelp.png b/helm/searchEngine/html/whelp.png new file mode 100644 index 000000000..8e36ced3f Binary files /dev/null and b/helm/searchEngine/html/whelp.png differ diff --git a/helm/searchEngine/html/whelp.svg b/helm/searchEngine/html/whelp.svg new file mode 100644 index 000000000..86720276a --- /dev/null +++ b/helm/searchEngine/html/whelp.svg @@ -0,0 +1,164 @@ + + + + + + + + + image/svg+xml + + + + + + + + h + + e + + l + + p + + W + + + diff --git a/helm/searchEngine/html/whelp_small.png b/helm/searchEngine/html/whelp_small.png new file mode 100644 index 000000000..10c615890 Binary files /dev/null and b/helm/searchEngine/html/whelp_small.png differ