]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/whelp.svg
daemons tamed
[helm.git] / helm / searchEngine / html / whelp.svg
diff --git a/helm/searchEngine/html/whelp.svg b/helm/searchEngine/html/whelp.svg
deleted file mode 100644 (file)
index 8672027..0000000
+++ /dev/null
@@ -1,164 +0,0 @@
-<?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>