]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c6762d6)
changed logo: whelp!
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 8 Apr 2005 11:47:01 +0000 (11:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 8 Apr 2005 11:47:01 +0000 (11:47 +0000)
helm/searchEngine/html/moogle_form.html.src patch | blob | history
helm/searchEngine/html/moogle_header.html.src patch | blob | history
helm/searchEngine/html/moogle_help.html patch | blob | history
helm/searchEngine/html/moogle_init.html patch | blob | history
helm/searchEngine/html/moogle_syntax.html patch | blob | history
helm/searchEngine/html/whelp.png [new file with mode: 0644] patch | blob
helm/searchEngine/html/whelp.svg [new file with mode: 0644] patch | blob
helm/searchEngine/html/whelp_small.png [new file with mode: 0644] patch | blob

diff --git a/helm/searchEngine/html/moogle_form.html.src b/helm/searchEngine/html/moogle_form.html.src
index d98eebfd301b9cd155465b03c6b39aa1e22f2924..c594a10ffab17361278c6abba3a06d0bfe2d93bc 100644 (file)
--- a/helm/searchEngine/html/moogle_form.html.src
+++ b/helm/searchEngine/html/moogle_form.html.src
@@ -9,7 +9,7 @@
     <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
     <table cellspacing="0" cellpadding="0">
       <tr valign="middle">
-       <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle" /></td>
+       <td><img src="@SEARCH_ENGINE_URL@/getpage?url=whelp_small.png" alt="whelp" /></td>
        <td>&#xA0;&#xA0;</td>
        <td align="center">
          <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@" />
diff --git a/helm/searchEngine/html/moogle_header.html.src b/helm/searchEngine/html/moogle_header.html.src
index d406b0b79225d46c569e37edfdc1e9be581a7e2e..a788d1f6dbb480b94f8f03c42f3cd15cb8244ece 100644 (file)
--- 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"
 >
 <head>
-  <title>Moogle</title>
+  <title>Whelp search</title>
   <style>
     div.resultsbar {
       background-color: #e5ecf9;
diff --git a/helm/searchEngine/html/moogle_help.html b/helm/searchEngine/html/moogle_help.html
index 48980ec4b78c9347cd07d2735c90e5e88cfe8b75..7b2a8bd05d2f7334339ca5a0be06b6ba9fe1b554 100644 (file)
--- a/helm/searchEngine/html/moogle_help.html
+++ b/helm/searchEngine/html/moogle_help.html
@@ -4,7 +4,7 @@
     <table align="center">
       <tr>
         <td>
-          <img align="center" src="http://helm.cs.unibo.it/moogle.png" alt="moogle"/>
+          <img align="center" src="http://helm.cs.unibo.it/whelp.png" alt="whelp"/>
         </td>
       </tr>
       <tr>
diff --git a/helm/searchEngine/html/moogle_init.html b/helm/searchEngine/html/moogle_init.html
index 7c2193062690cf3c03da371198df6c28b2409b7e..5e681b822ebcd7da01ae7e8983dc9a3f5325dd24 100644 (file)
--- a/helm/searchEngine/html/moogle_init.html
+++ b/helm/searchEngine/html/moogle_init.html
@@ -1,7 +1,7 @@
 <?xml version="1.0"?>
 <html xmlns="http://www.w3.org/1999/xhtml" xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory" xmlns:helm="http://www.cs.unibo.it/helm" xml:lang="en" lang="en">
 <head>
-<title>Moogle</title>
+<title>Whelp search</title>
 <style>
   body { font-family: sans-serif }
 </style>
@@ -10,7 +10,7 @@
 <center>
 <table border="0" cellspacing="0" cellpadding="0">
 <tr>
-<td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle.png" alt="moogle" /></td></tr>
+<td><img src="@SEARCH_ENGINE_URL@/getpage?url=whelp.png" alt="moogle" /></td></tr>
 </table>
 <br />
 <helm:uwobo_form>
diff --git a/helm/searchEngine/html/moogle_syntax.html b/helm/searchEngine/html/moogle_syntax.html
index 2d783940986ffbe95e3b9b007039a0e435297db4..7fa0fe380b459b552c393988efbd9325328d4fd5 100644 (file)
--- a/helm/searchEngine/html/moogle_syntax.html
+++ b/helm/searchEngine/html/moogle_syntax.html
@@ -11,12 +11,12 @@
     <table>
       <tr>
        <td>
-         <img align="center" src="http://helm.cs.unibo.it/moogle.png" alt="moogle" />
+         <img align="center" src="http://helm.cs.unibo.it/whelp.png" alt="whelp" />
        </td>
       </tr>
       <tr>
        <td>
-         <h2>Moogle Input Syntax</h2>
+         <h2>Whelp Input Syntax</h2>
          <ul class="spaced">
            <li>
            <b>locate <em>&lt;pattern&gt;</em></b>
diff --git a/helm/searchEngine/html/whelp.png b/helm/searchEngine/html/whelp.png
new file mode 100644 (file)
index 0000000..8e36ced
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 (file)
index 0000000..8672027
--- /dev/null
+++ b/helm/searchEngine/html/whelp.svg
@@ -0,0 +1,164 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+<svg
+   xmlns:xml="http://www.w3.org/XML/1998/namespace"
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://web.resource.org/cc/"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:sodipodi="http://inkscape.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   width="210mm"
+   height="297mm"
+   id="svg2"
+   sodipodi:version="0.32"
+   inkscape:version="0.41"
+   sodipodi:docbase="/projects/helm/daemons/searchEngine/html"
+   sodipodi:docname="whelp.svg">
+  <defs
+     id="defs3" />
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="0.53878789"
+     inkscape:cx="372.04725"
+     inkscape:cy="526.18109"
+     inkscape:document-units="px"
+     inkscape:current-layer="layer1"
+     inkscape:window-width="697"
+     inkscape:window-height="743"
+     inkscape:window-x="538"
+     inkscape:window-y="47" />
+  <metadata
+     id="metadata4">
+    <rdf:RDF
+       id="RDF5">
+      <cc:Work
+         rdf:about=""
+         id="Work6">
+        <dc:format
+           id="format7">image/svg+xml</dc:format>
+        <dc:type
+           id="type9"
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     inkscape:label="Layer 1"
+     inkscape:groupmode="layer"
+     id="layer1">
+    <g
+       inkscape:export-ydpi="100.84000"
+       inkscape:export-xdpi="100.84000"
+       inkscape:export-filename="/projects/helm/daemons/searchEngine/html/whelp.png"
+       transform="matrix(3.536915,0.000000,0.000000,3.972675,-821.7510,-1982.086)"
+       id="g3923">
+      <path
+         sodipodi:type="arc"
+         style="fill:#780000;fill-opacity:0.48627451;fill-rule:evenodd;stroke:#000000;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000"
+         id="path2998"
+         sodipodi:cx="255.71428"
+         sodipodi:cy="465.21933"
+         sodipodi:rx="21.428572"
+         sodipodi:ry="18.571428"
+         d="M 277.14285 465.21933 A 21.428572 18.571428 0 1 1  234.28571,465.21933 A 21.428572 18.571428 0 1 1  277.14285 465.21933 z"
+         transform="matrix(0.874334,0.000000,0.000000,0.816604,44.53485,211.7504)" />
+      <text
+         xml:space="preserve"
+         style="font-size:36.000000;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:0.78431374;stroke:none;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000;font-family:Domestic Manners;text-anchor:start;writing-mode:lr-tb"
+         x="257.61462"
+         y="600.53583"
+         id="text3000"><tspan
+           sodipodi:role="line"
+           id="tspan3002"
+           x="257.61462"
+           y="600.53583">h</tspan></text>
+      <path
+         sodipodi:type="arc"
+         style="fill:#780000;fill-opacity:0.48627451;fill-rule:evenodd;stroke:#000000;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000"
+         id="path3004"
+         sodipodi:cx="255.71428"
+         sodipodi:cy="465.21933"
+         sodipodi:rx="21.428572"
+         sodipodi:ry="18.571428"
+         d="M 277.14285 465.21933 A 21.428572 18.571428 0 1 1  234.28571,465.21933 A 21.428572 18.571428 0 1 1  277.14285 465.21933 z"
+         transform="matrix(1.011345,0.000000,0.000000,0.947604,44.96344,126.1641)" />
+      <text
+         xml:space="preserve"
+         style="font-size:36.000000;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:0.78431374;stroke:none;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000;font-family:Domestic Manners;text-anchor:start;writing-mode:lr-tb"
+         x="292.11462"
+         y="573.53583"
+         id="text3006"><tspan
+           sodipodi:role="line"
+           id="tspan3008"
+           x="292.11462"
+           y="573.53583">e</tspan></text>
+      <path
+         sodipodi:type="arc"
+         style="fill:#780000;fill-opacity:0.48627451;fill-rule:evenodd;stroke:#000000;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000"
+         id="path3010"
+         sodipodi:cx="300.00000"
+         sodipodi:cy="442.36218"
+         sodipodi:rx="22.857143"
+         sodipodi:ry="18.571428"
+         d="M 322.85714 442.36218 A 22.857143 18.571428 0 1 1  277.14286,442.36218 A 22.857143 18.571428 0 1 1  322.85714 442.36218 z"
+         transform="translate(51.11460,115.2886)" />
+      <text
+         xml:space="preserve"
+         style="font-size:36.000000;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:0.78431374;stroke:none;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000;font-family:Domestic Manners;text-anchor:start;writing-mode:lr-tb"
+         x="345.11462"
+         y="570.53583"
+         id="text3012"><tspan
+           sodipodi:role="line"
+           id="tspan3014"
+           x="345.11462"
+           y="570.53583">l</tspan></text>
+      <path
+         sodipodi:type="arc"
+         style="fill:#780000;fill-opacity:0.48627451;fill-rule:evenodd;stroke:#000000;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000"
+         id="path3016"
+         sodipodi:cx="358.57144"
+         sodipodi:cy="436.64789"
+         sodipodi:rx="24.285715"
+         sodipodi:ry="21.428572"
+         d="M 382.85716 436.64789 A 24.285715 21.428572 0 1 1  334.28573,436.64789 A 24.285715 21.428572 0 1 1  382.85716 436.64789 z"
+         transform="matrix(1.060519,0.000000,0.000000,1.000000,20.91431,134.7886)" />
+      <text
+         xml:space="preserve"
+         style="font-size:36.000000;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:0.78431374;stroke:none;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000;font-family:Domestic Manners;text-anchor:start;writing-mode:lr-tb"
+         x="392.11462"
+         y="575.03583"
+         id="text3018"><tspan
+           sodipodi:role="line"
+           id="tspan3020"
+           x="392.11462"
+           y="575.03583">p</tspan></text>
+      <path
+         sodipodi:type="arc"
+         style="fill:#000050;fill-opacity:0.31372550;fill-rule:evenodd;stroke:#000000;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000"
+         id="path3024"
+         sodipodi:cx="328.57144"
+         sodipodi:cy="513.79077"
+         sodipodi:rx="65.714287"
+         sodipodi:ry="52.857143"
+         d="M 394.28573 513.79077 A 65.714287 52.857143 0 1 1  262.85715,513.79077 A 65.714287 52.857143 0 1 1  394.28573 513.79077 z"
+         transform="translate(13.11460,121.2886)" />
+      <text
+         xml:space="preserve"
+         style="font-size:64.000000;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:0.78431374;stroke:none;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000;font-family:Domestic Manners;text-anchor:start;writing-mode:lr-tb"
+         x="317.61459"
+         y="655.03577"
+         id="text3026"><tspan
+           sodipodi:role="line"
+           id="tspan3028"
+           x="317.61459"
+           y="655.03577">W</tspan></text>
+    </g>
+  </g>
+</svg>
diff --git a/helm/searchEngine/html/whelp_small.png b/helm/searchEngine/html/whelp_small.png
new file mode 100644 (file)
index 0000000..10c6158
Binary files /dev/null and b/helm/searchEngine/html/whelp_small.png differ
Unnamed repository; edit this file 'description' to name the repository.