diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-11 11:07:07 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-11 11:07:07 +0000 |
commit | e7debe0bba35ca5d8537ca0b03ae35a178bba222 (patch) | |
tree | a714847396d2c6c2303e6f8a01a6521724e80ac8 /images/pg-retract.svg | |
parent | 59bbabf3ced20622ee884cd46a546e431ceeb2b8 (diff) |
Deleted file
Diffstat (limited to 'images/pg-retract.svg')
-rw-r--r-- | images/pg-retract.svg | 188 |
1 files changed, 0 insertions, 188 deletions
diff --git a/images/pg-retract.svg b/images/pg-retract.svg deleted file mode 100644 index 6a91cc8f..00000000 --- a/images/pg-retract.svg +++ /dev/null @@ -1,188 +0,0 @@ -<?xml version="1.0" encoding="UTF-8" standalone="no"?> -<!-- Created with Inkscape (http://www.inkscape.org/) --> -<svg - 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:xlink="http://www.w3.org/1999/xlink" - xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" - xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" - width="24" - height="24" - id="svg2" - sodipodi:version="0.32" - inkscape:version="0.45.1" - version="1.0" - sodipodi:docbase="/home/da/cvs/PG/ProofGeneral.working/images" - sodipodi:docname="pg-retract.svg" - inkscape:output_extension="org.inkscape.output.svg.inkscape"> - <defs - id="defs4"> - <linearGradient - id="linearGradient5376"> - <stop - style="stop-color:#084208;stop-opacity:1;" - offset="0" - id="stop5378" /> - <stop - style="stop-color:#dcdcdc;stop-opacity:1;" - offset="1" - id="stop5380" /> - </linearGradient> - <marker - inkscape:stockid="Arrow1Send" - orient="auto" - refY="0.0" - refX="0.0" - id="Arrow1Send" - style="overflow:visible;"> - <path - id="path3152" - d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " - style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;" - transform="scale(0.2) rotate(180) translate(6,0)" /> - </marker> - <marker - inkscape:stockid="Arrow1Lstart" - orient="auto" - refY="0.0" - refX="0.0" - id="Arrow1Lstart" - style="overflow:visible"> - <path - id="path3137" - d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " - style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" - transform="scale(0.8) translate(12.5,0)" /> - </marker> - <marker - inkscape:stockid="Arrow1Mstart" - orient="auto" - refY="0.0" - refX="0.0" - id="Arrow1Mstart" - style="overflow:visible"> - <path - id="path3143" - d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " - style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" - transform="scale(0.4) translate(10,0)" /> - </marker> - <marker - inkscape:stockid="TriangleOutS" - orient="auto" - refY="0.0" - refX="0.0" - id="TriangleOutS" - style="overflow:visible"> - <path - id="path3241" - d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " - style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" - transform="scale(0.2)" /> - </marker> - <marker - inkscape:stockid="TriangleInS" - orient="auto" - refY="0.0" - refX="0.0" - id="TriangleInS" - style="overflow:visible"> - <path - id="path3232" - d="M 5.77,0.0 L -2.88,5.0 L -2.88,-5.0 L 5.77,0.0 z " - style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none" - transform="scale(-0.2)" /> - </marker> - <marker - inkscape:stockid="TriangleOutM" - orient="auto" - refY="0" - refX="0" - id="TriangleOutM" - style="overflow:visible"> - <path - id="path3238" - d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " - style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" - transform="scale(0.4,0.4)" /> - </marker> - <marker - inkscape:stockid="TriangleOutL" - orient="auto" - refY="0" - refX="0" - id="TriangleOutL" - style="overflow:visible"> - <path - id="path3235" - d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z " - style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" - transform="scale(0.8,0.8)" /> - </marker> - <linearGradient - inkscape:collect="always" - xlink:href="#linearGradient5376" - id="linearGradient5382" - x1="224.71429" - y1="115.6479" - x2="244.68138" - y2="115.6479" - gradientUnits="userSpaceOnUse" - gradientTransform="matrix(-1,0,0,1,467.17858,0)" /> - </defs> - <sodipodi:namedview - id="base" - pagecolor="#ffffff" - bordercolor="#666666" - borderopacity="1.0" - gridtolerance="10000" - guidetolerance="10" - objecttolerance="10" - inkscape:pageopacity="0.0" - inkscape:pageshadow="2" - inkscape:zoom="16.458333" - inkscape:cx="12" - inkscape:cy="12" - inkscape:document-units="px" - inkscape:current-layer="layer1" - width="24px" - height="24px" - showgrid="true" - inkscape:window-width="822" - inkscape:window-height="581" - inkscape:window-x="1" - inkscape:window-y="17" /> - <metadata - id="metadata7"> - <rdf:RDF> - <cc:Work - rdf:about=""> - <dc:format>image/svg+xml</dc:format> - <dc:type - rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> - </cc:Work> - </rdf:RDF> - </metadata> - <g - inkscape:label="Layer 1" - inkscape:groupmode="layer" - id="layer1" - transform="translate(-220.71429,-104.1479)"> - <path - style="fill:url(#linearGradient5382);fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" - d="M 241.96429,107.6479 L 241.96429,123.6479 L 227.00733,115.6479 L 241.96429,107.6479 z " - id="path4343" - sodipodi:nodetypes="cccc" /> - <rect - style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:2;stroke-linecap:square;stroke-linejoin:round;stroke-miterlimit:4.80000019;stroke-dasharray:none;stroke-opacity:1" - id="rect2178" - width="0.4173584" - height="12.852097" - x="-226.13165" - y="109.3979" - transform="scale(-1,1)" /> - </g> -</svg> |