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-context.svg | |
parent | 59bbabf3ced20622ee884cd46a546e431ceeb2b8 (diff) |
Deleted file
Diffstat (limited to 'images/pg-context.svg')
-rw-r--r-- | images/pg-context.svg | 183 |
1 files changed, 0 insertions, 183 deletions
diff --git a/images/pg-context.svg b/images/pg-context.svg deleted file mode 100644 index c60efd2a..00000000 --- a/images/pg-context.svg +++ /dev/null @@ -1,183 +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-context.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:#c8c8c8;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="233.07632" - y2="115.6479" - gradientUnits="userSpaceOnUse" /> - <linearGradient - inkscape:collect="always" - xlink:href="#linearGradient5376" - id="linearGradient3279" - gradientUnits="userSpaceOnUse" - x1="224.71429" - y1="115.6479" - x2="233.07632" - y2="115.6479" - gradientTransform="matrix(-1,0,0,1,465.45389,8e-7)" /> - </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="193" - inkscape:window-y="67" /> - <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)" /> -</svg> |