diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-11 19:26:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-11 19:26:16 +0000 |
| commit | 39a5d68776d9a15df87a256f394897d84fd2e8bc (patch) | |
| tree | bae29e8c93262742c3c7f9e8915c532c8f0fea1f /images | |
| parent | 6859c3dfa233c8844505d12cb86fb385704d3f54 (diff) | |
Deleted file
Diffstat (limited to 'images')
| -rw-r--r-- | images/.cvsignore | 4 | ||||
| -rw-r--r-- | images/Makefile | 117 | ||||
| -rw-r--r-- | images/ProofGeneral-headcrop.xcf | bin | 45758 -> 0 bytes | |||
| -rw-r--r-- | images/ProofGeneral.8bit.gif | bin | 16547 -> 0 bytes | |||
| -rw-r--r-- | images/ProofGeneral.xcf | bin | 80632 -> 0 bytes | |||
| -rw-r--r-- | images/blank.xcf | bin | 266 -> 0 bytes | |||
| -rw-r--r-- | images/coq-badge.xcf | bin | 120521 -> 0 bytes | |||
| -rw-r--r-- | images/favicon.icon | bin | 894 -> 0 bytes | |||
| -rw-r--r-- | images/fireworks.xcf | bin | 99268 -> 0 bytes | |||
| -rw-r--r-- | images/goal_large.xcf | bin | 194264 -> 0 bytes | |||
| -rw-r--r-- | images/hiddenproof.xcf | bin | 767 -> 0 bytes | |||
| -rw-r--r-- | images/isabelle-badge.xcf | bin | 157845 -> 0 bytes | |||
| -rw-r--r-- | images/lego-badge.xcf | bin | 135157 -> 0 bytes | |||
| -rw-r--r-- | images/new-next-plus-scanned-path-junk.svg | 193 | ||||
| -rw-r--r-- | images/new-pg-context.svg | 183 | ||||
| -rw-r--r-- | images/new-pg-find.svg | 950 | ||||
| -rw-r--r-- | images/new-pg-goto.svg | 218 | ||||
| -rw-r--r-- | images/new-pg-help.svg | 214 | ||||
| -rw-r--r-- | images/new-pg-interrupt.svg | 221 | ||||
| -rw-r--r-- | images/new-pg-next.svg | 179 | ||||
| -rw-r--r-- | images/new-pg-restart.svg | 240 | ||||
| -rw-r--r-- | images/new-pg-retract.svg | 188 | ||||
| -rw-r--r-- | images/new-pg-undo.svg | 180 | ||||
| -rw-r--r-- | images/new-pg-use.svg | 186 | ||||
| -rw-r--r-- | images/notes.txt | 109 | ||||
| -rw-r--r-- | images/pg-abort.xcf | bin | 1773 -> 0 bytes | |||
| -rw-r--r-- | images/pg-command.xcf | bin | 2385 -> 0 bytes | |||
| -rw-r--r-- | images/pg-context.xcf | bin | 2495 -> 0 bytes | |||
| -rw-r--r-- | images/pg-find.xcf | bin | 2547 -> 0 bytes | |||
| -rw-r--r-- | images/pg-goal.xcf | bin | 2434 -> 0 bytes | |||
| -rw-r--r-- | images/pg-goto.xcf | bin | 1927 -> 0 bytes | |||
| -rw-r--r-- | images/pg-help.xcf | bin | 2697 -> 0 bytes | |||
| -rw-r--r-- | images/pg-info.xcf | bin | 2198 -> 0 bytes | |||
| -rw-r--r-- | images/pg-interrupt.xcf | bin | 1410 -> 0 bytes | |||
| -rw-r--r-- | images/pg-next.xcf | bin | 928 -> 0 bytes | |||
| -rw-r--r-- | images/pg-qed.xcf | bin | 3613 -> 0 bytes | |||
| -rw-r--r-- | images/pg-restart.xcf | bin | 1082 -> 0 bytes | |||
| -rw-r--r-- | images/pg-retract.xcf | bin | 1436 -> 0 bytes | |||
| -rw-r--r-- | images/pg-state.xcf | bin | 2657 -> 0 bytes | |||
| -rw-r--r-- | images/pg-text.8bit.gif | bin | 5859 -> 0 bytes | |||
| -rw-r--r-- | images/pg-text.gif | bin | 7956 -> 0 bytes | |||
| -rw-r--r-- | images/pg-text.jpg | bin | 7784 -> 0 bytes | |||
| -rw-r--r-- | images/pg-text.xcf | bin | 38464 -> 0 bytes | |||
| -rw-r--r-- | images/pg-undo.xcf | bin | 932 -> 0 bytes | |||
| -rw-r--r-- | images/pg-use.xcf | bin | 1508 -> 0 bytes |
45 files changed, 0 insertions, 3182 deletions
diff --git a/images/.cvsignore b/images/.cvsignore deleted file mode 100644 index 46b71d73..00000000 --- a/images/.cvsignore +++ /dev/null @@ -1,4 +0,0 @@ -buttons -webpix -.xvpics - diff --git a/images/Makefile b/images/Makefile deleted file mode 100644 index 90b15660..00000000 --- a/images/Makefile +++ /dev/null @@ -1,117 +0,0 @@ -## -## Makefile for Proof General images directory. -## -## Author: David Aspinall <da@dcs.ed.ac.uk> -## -## Developer use only, not part of distribution. -## -## $Id$ -## -## make buttons make *.xpm from gimp xcf files -## make webpix make *.jpg from gimp xcf files -## make install copy *.jpg to ../html directory -## make clean remove dummy targets -## make cvsclean remove non-cvs files -## -## make dist ready for distribution -## (make buttons, move jpegs to html) -## -########################################################################### - -# Sources -BUTTONS=pg-goal.xcf pg-next.xcf pg-qed.xcf pg-restart.xcf pg-retract.xcf pg-undo.xcf pg-use.xcf pg-state.xcf pg-context.xcf pg-info.xcf pg-command.xcf pg-help.xcf pg-find.xcf pg-interrupt.xcf pg-goto.xcf pg-abort.xcf -WEBPIX=ProofGeneral.xcf pg-text.xcf - -# Targets for html directory -WEBPIX_ONLY= -WEBPIX_TARGETS=$(WEBPIX_ONLY) ProofGeneral.jpg pg-text.gif -# Targets for doc directory -DOCPIX_TARGETS=ProofGeneral.jpg - -# Junk not wanted -UNWANTED=text_general.jpg text_proof.jpg - -CWD=$(shell pwd) -GIMP_DIRECTORY=$(CWD)/gimp - -# Command to run gimp in batch mode. -GIMP=export GIMP_DIRECTORY=$(GIMP_DIRECTORY); gimp --no-interface --no-data --console-messages --batch - -default: all - -images: all - -all: buttons backgroundize-xpm webpix - -dist: all install distclean - -# Edit xpm files to add a substitution background colour for -# the XEmacs toolbar background -- a hack that almost works -# (only almost because the images have anti-aliasing with -# a different background colour, and xpm files only allow -# one-bit alpha). -backgroundize-xpm: $(BUTTONS) -# for f in *.xpm; do sed 's/c None.*"/c None s backgroundToolBarColor"/g' $$f > $$f.new; mv $$f.new $$f; done - for f in *.xpm; do sed 's/c #E0E0E0.*"/c #E0E0E0 s backgroundToolBarColor"/g' $$f > $$f.new; mv $$f.new $$f; done - -# NB: gimp sometimes fails with this argument, in case it is built -# without support for one of the image formats. -# (Happens with gimp from Mandrake 6.0, for example) -buttons: $(BUTTONS) - $(GIMP) '(script-fu-proofgeneral-make-all-buttons 1)' '(gimp-quit 0)' - $(MAKE) backgroundize-xpm - touch buttons - -webpix: $(WEBPIX) - $(GIMP) '(script-fu-proofgeneral-save-all-pix 1)' '(gimp-quit 0)' - touch webpix - -cvsclean: clean -# For the time being we keep all this junk under CVS too, for convenience. -# rm -f *.xpm *.jpg gimp/pluginrc -# rm -f *.jpg gimp/pluginrc - -# Remove all the generated targets and other junk. -wellclean: clean - rm -f *.xpm *.jpg *.gif - -distclean: clean - -clean: - rm -f buttons webpix gimp/pluginrc - rm -f $(WEBPIX_ONLY) $(UNWANTED) - -install: webpix - cp -pf $(WEBPIX_TARGETS) ../html/images - cp -pf $(DOCPIX_TARGETS) ../doc - -## -## Batch mode is a bit broken on The Gimp at the moment (v 1.0) -## For script fu, at least, it seems tricky to pass arguments to -## scripts. -## With '1' as first argument to indicate "non-interactive", things -## don't work. With '0', we get popup menus and args are ignored! - -#%.xpm: %.xcf -# $(GIMP) '(script-fu-proofgeneral-make-buttons "$(CWD)/$*")' '(gimp-quit 0)' - -#%.jpg: %.xcf -# $(GIMP) '(script-fu-proofgeneral-save-jpg 0 "$(CWD)/$*")' '(gimp-quit 0)' -# cp -pf $*.jpg ../html - - -## -## Inkscape SVG sources -## -SVG:=$(shell ls *.svg 2>/dev/null) - -INKS=$(SVG:.svg=.png) $(SVG:.svg=.xpm) - -inks: ${INKS} - -%.png: %.svg - inkscape --export-png $*.png $*.svg - -%.xpm: %.png - convert -antialias -colors 256 $*.png $*.xpm - diff --git a/images/ProofGeneral-headcrop.xcf b/images/ProofGeneral-headcrop.xcf Binary files differdeleted file mode 100644 index dd219bfb..00000000 --- a/images/ProofGeneral-headcrop.xcf +++ /dev/null diff --git a/images/ProofGeneral.8bit.gif b/images/ProofGeneral.8bit.gif Binary files differdeleted file mode 100644 index dfb182be..00000000 --- a/images/ProofGeneral.8bit.gif +++ /dev/null diff --git a/images/ProofGeneral.xcf b/images/ProofGeneral.xcf Binary files differdeleted file mode 100644 index 709b346c..00000000 --- a/images/ProofGeneral.xcf +++ /dev/null diff --git a/images/blank.xcf b/images/blank.xcf Binary files differdeleted file mode 100644 index 950652e5..00000000 --- a/images/blank.xcf +++ /dev/null diff --git a/images/coq-badge.xcf b/images/coq-badge.xcf Binary files differdeleted file mode 100644 index 98ba6ded..00000000 --- a/images/coq-badge.xcf +++ /dev/null diff --git a/images/favicon.icon b/images/favicon.icon Binary files differdeleted file mode 100644 index acdc0dc6..00000000 --- a/images/favicon.icon +++ /dev/null diff --git a/images/fireworks.xcf b/images/fireworks.xcf Binary files differdeleted file mode 100644 index 81a40470..00000000 --- a/images/fireworks.xcf +++ /dev/null diff --git a/images/goal_large.xcf b/images/goal_large.xcf Binary files differdeleted file mode 100644 index 95146fa2..00000000 --- a/images/goal_large.xcf +++ /dev/null diff --git a/images/hiddenproof.xcf b/images/hiddenproof.xcf Binary files differdeleted file mode 100644 index 77c189d7..00000000 --- a/images/hiddenproof.xcf +++ /dev/null diff --git a/images/isabelle-badge.xcf b/images/isabelle-badge.xcf Binary files differdeleted file mode 100644 index ad5de7bd..00000000 --- a/images/isabelle-badge.xcf +++ /dev/null diff --git a/images/lego-badge.xcf b/images/lego-badge.xcf Binary files differdeleted file mode 100644 index c0a2985d..00000000 --- a/images/lego-badge.xcf +++ /dev/null diff --git a/images/new-next-plus-scanned-path-junk.svg b/images/new-next-plus-scanned-path-junk.svg deleted file mode 100644 index 9f312fbf..00000000 --- a/images/new-next-plus-scanned-path-junk.svg +++ /dev/null @@ -1,193 +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="next-plus-scanned-path-junk.svg" - inkscape:output_extension="org.inkscape.output.svg.inkscape"> - <defs - id="defs4"> - <linearGradient - inkscape:collect="always" - id="linearGradient5376"> - <stop - style="stop-color:#084208;stop-opacity:1;" - offset="0" - id="stop5378" /> - <stop - style="stop-color:#084208;stop-opacity:0;" - 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" /> - </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="12" - inkscape:window-y="0" /> - <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-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;fill-opacity:1.0" - d="M 225.21429,107.6479 L 225.21429,123.6479 L 240.17125,115.6479 L 225.21429,107.6479 z " - id="path4343" - sodipodi:nodetypes="cccc" /> - <image - y="108.1479" - x="205.71429" - id="image5339" - height="16" - width="16" - sodipodi:absref="/home/da/icons/fwd.gif" - xlink:href="/home/da/icons/fwd.gif" - style="fill:#375d37;fill-opacity:0.20731447" /> - <path - style="fill:#000000" - d="M 246.21563,118.01071 C 246.21563,110.99568 246.21563,110.99568 251.19766,114.25336 C 257.22483,118.19445 257.22685,117.7738 251.16153,121.76839 C 246.21563,125.02573 246.21563,125.02573 246.21563,118.01071 z M 250.01563,120.81105 C 251.79101,119.03567 251.47624,116.55688 249.21563,114.51105 C 247.24284,112.7257 247.21563,112.76442 247.21563,117.35606 C 247.21563,122.1091 247.88797,122.93871 250.01563,120.81105 z " - id="path5342" /> - </g> -</svg> diff --git a/images/new-pg-context.svg b/images/new-pg-context.svg deleted file mode 100644 index c60efd2a..00000000 --- a/images/new-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> diff --git a/images/new-pg-find.svg b/images/new-pg-find.svg deleted file mode 100644 index 9805429f..00000000 --- a/images/new-pg-find.svg +++ /dev/null @@ -1,950 +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-find.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 - y2="135.627" - x2="189.6787" - y1="135.627" - x1="98.557602" - gradientUnits="userSpaceOnUse" - id="linearGradient2326" - xlink:href="#XMLID_3_" - inkscape:collect="always" /> -<linearGradient - y2="208.0907" - x2="223.1826" - y1="220.91991" - x1="211.957" - gradientTransform="matrix(0.9999,1.2e-2,-1.2e-2,0.9999,2.579,-2.6)" - gradientUnits="userSpaceOnUse" - id="linearGradient2324" - xlink:href="#XMLID_2_" - inkscape:collect="always" /> - - - - - - <linearGradient - y2="135.627" - x2="189.6787" - y1="135.627" - x1="98.557602" - gradientUnits="userSpaceOnUse" - id="XMLID_3_"> - <stop - id="stop184" - style="stop-color:#FFFFFF" - offset="0" /> - - - - <stop - id="stop185" - style="stop-color:#CBD5E8" - offset="1" /> - - - - </linearGradient> - - - - - - - - - <linearGradient - gradientTransform="matrix(0.9999,1.2e-2,-1.2e-2,0.9999,2.579,-2.6)" - y2="208.0907" - x2="223.1826" - y1="220.91991" - x1="211.957" - gradientUnits="userSpaceOnUse" - id="XMLID_2_"> - <stop - id="stop173" - style="stop-color:#ff5800;stop-opacity:1.0000000;" - offset="0.0000000" /> - - - - <stop - id="stop174" - style="stop-color:#ffcc31;stop-opacity:1.0000000;" - offset="1.0000000" /> - - - - </linearGradient> - - - - - - - - - - <linearGradient - y2="312.2099" - x2="312.32861" - y1="86.276398" - x1="86.394997" - gradientUnits="userSpaceOnUse" - id="XMLID_1_"> - <stop - id="stop161" - style="stop-color:#FFFFFF" - offset="0" /> - - - - <stop - id="stop162" - style="stop-color:#99CCFF" - offset="1" /> - - - - </linearGradient> - - - - - - - <linearGradient - y2="12.737786" - x2="148.01166" - y1="5.295383" - x1="154.70367" - gradientTransform="matrix(0.57735,0,0,1.732051,0,-5)" - gradientUnits="userSpaceOnUse" - id="linearGradient1280" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - -<linearGradient - y2="64.408142" - x2="61.494499" - y1="57.359093" - x1="68.409271" - gradientTransform="scale(1.732051,0.57735)" - gradientUnits="userSpaceOnUse" - id="linearGradient1279" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - -<linearGradient - y2="22.21875" - x2="101.95312" - y1="17.296875" - x1="106.875" - gradientUnits="userSpaceOnUse" - id="linearGradient1278" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - -<linearGradient - y2="66.19474" - x2="76.51638" - y1="197.54245" - x1="-59.549145" - gradientTransform="scale(0.960547,1.041074)" - gradientUnits="userSpaceOnUse" - id="linearGradient1277" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - -<linearGradient - y2="51.599213" - x2="74.86158" - y1="11.005426" - x1="118.16164" - gradientTransform="scale(0.962223,1.03926)" - gradientUnits="userSpaceOnUse" - id="linearGradient1276" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> -</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="11.277498" - 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="37" - inkscape:window-y="0" /> - <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:groupmode="layer" - id="layer2" - inkscape:label="Bottom" /> - <g - inkscape:label="Layer 1" - inkscape:groupmode="layer" - id="layer1" - transform="translate(-220.71429,-104.1479)"> - <text - xml:space="preserve" - style="font-size:7.48321962px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;fill:#004a00;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans" - x="185.89714" - y="153.90065" - id="text3501" - sodipodi:linespacing="125%" - transform="scale(1.265197,0.7903907)"><tspan - sodipodi:role="line" - id="tspan3503" - x="185.89714" - y="153.90065">Ï•</tspan></text> - <text - xml:space="preserve" - style="font-size:7.71500158px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;fill:#004a00;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans" - x="193.35237" - y="144.01877" - id="text3497" - sodipodi:linespacing="125%" - transform="scale(1.2319194,0.8117414)"><tspan - sodipodi:role="line" - id="tspan3499" - x="193.35237" - y="144.01877">Ï•</tspan></text> - <g - style="overflow:visible" - id="g3424" - transform="matrix(-0.1132813,0,0,0.1132813,249.71429,98.147892)"> - <g - transform="translate(2.016911,2.016928)" - id="g1124"><metadata - id="metadata1"> - <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> - - - - - <defs - id="defs181"> - <linearGradient - inkscape:collect="always" - xlink:href="#XMLID_1_" - id="linearGradient32" - gradientUnits="userSpaceOnUse" - x1="86.394997" - y1="86.276398" - x2="312.32861" - y2="312.2099" /> - - - - <linearGradient - inkscape:collect="always" - xlink:href="#XMLID_2_" - id="linearGradient33" - gradientUnits="userSpaceOnUse" - x1="121.918" - y1="185.75" - x2="249.582" - y2="185.75" /> - - - - <linearGradient - y2="12.737786" - x2="148.01166" - y1="5.295383" - x1="154.70367" - gradientTransform="matrix(0.57735,0,0,1.732051,0,-5)" - gradientUnits="userSpaceOnUse" - id="linearGradient135" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - y2="64.408142" - x2="61.494499" - y1="57.359093" - x1="68.409271" - gradientTransform="scale(1.732051,0.57735)" - gradientUnits="userSpaceOnUse" - id="linearGradient134" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - y2="22.21875" - x2="101.95312" - y1="17.296875" - x1="106.875" - gradientUnits="userSpaceOnUse" - id="linearGradient133" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - y2="66.19474" - x2="76.51638" - y1="197.54245" - x1="-59.549145" - gradientTransform="scale(0.960547,1.041074)" - gradientUnits="userSpaceOnUse" - id="linearGradient132" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - y2="51.599213" - x2="74.86158" - y1="11.005426" - x1="118.16164" - gradientTransform="scale(0.962223,1.03926)" - gradientUnits="userSpaceOnUse" - id="linearGradient131" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - y2="12.737786" - x2="148.01166" - y1="5.295383" - x1="154.70367" - gradientTransform="matrix(0.57735,0,0,1.732051,0,-5)" - gradientUnits="userSpaceOnUse" - id="linearGradient130" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - y2="64.408142" - x2="61.494499" - y1="57.359093" - x1="68.409271" - gradientTransform="scale(1.732051,0.57735)" - gradientUnits="userSpaceOnUse" - id="linearGradient129" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - y2="22.21875" - x2="101.95312" - y1="17.296875" - x1="106.875" - gradientUnits="userSpaceOnUse" - id="linearGradient128" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - y2="66.19474" - x2="76.51638" - y1="197.54245" - x1="-59.549145" - gradientTransform="scale(0.960547,1.041074)" - gradientUnits="userSpaceOnUse" - id="linearGradient127" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - y2="51.599213" - x2="74.86158" - y1="11.005426" - x1="118.16164" - gradientTransform="scale(0.962223,1.03926)" - gradientUnits="userSpaceOnUse" - id="linearGradient126" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - gradientUnits="userSpaceOnUse" - y2="64.408142" - x2="61.494499" - y1="57.359093" - x1="68.409271" - gradientTransform="scale(1.732051,0.57735)" - id="linearGradient447" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - gradientUnits="userSpaceOnUse" - y2="22.21875" - x2="101.95312" - y1="17.296875" - x1="106.875" - id="linearGradient443" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - y2="66.19474" - x2="76.51638" - y1="197.54245" - x1="-59.549145" - gradientTransform="scale(0.960547,1.041074)" - gradientUnits="userSpaceOnUse" - id="linearGradient439" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - gradientUnits="userSpaceOnUse" - y2="51.599213" - x2="74.86158" - y1="11.005426" - x1="118.16164" - gradientTransform="scale(0.962223,1.03926)" - id="linearGradient437" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - gradientUnits="userSpaceOnUse" - y2="12.737786" - x2="148.01166" - y1="5.295383" - x1="154.70367" - gradientTransform="matrix(0.57735,0,0,1.732051,0,-5)" - id="linearGradient432" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - y2="84.253471" - x2="77.756599" - y1="156.12636" - x1="31.319887" - gradientTransform="scale(0.952353,1.050031)" - gradientUnits="userSpaceOnUse" - id="linearGradient105" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - id="MaterialSoftShadow"> - <stop - id="stop2619" - offset="0.0000000" - style="stop-color:#000000;stop-opacity:0.21568628;" /> - - - - <stop - id="stop2621" - offset="0.50000000" - style="stop-color:#000000;stop-opacity:0.098;" /> - - - - <stop - id="stop2620" - offset="1" - style="stop-color:#000000;stop-opacity:0;" /> - - - - </linearGradient> - - - - <linearGradient - gradientUnits="userSpaceOnUse" - y2="51.599213" - x2="74.86158" - y1="11.005426" - x1="118.16164" - gradientTransform="scale(0.962223,1.03926)" - id="linearGradient93" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - id="linearGradient94"> - <stop - id="stop95" - offset="0.0000000" - style="stop-color:#000000;stop-opacity:0.21568628;" /> - - - - <stop - id="stop96" - offset="0.50000000" - style="stop-color:#000000;stop-opacity:0.098;" /> - - - - <stop - id="stop97" - offset="1" - style="stop-color:#000000;stop-opacity:0;" /> - - - - </linearGradient> - - - - <linearGradient - y2="66.19474" - x2="76.51638" - y1="197.54245" - x1="-59.549145" - gradientTransform="scale(0.960547,1.041074)" - gradientUnits="userSpaceOnUse" - id="linearGradient98" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - id="linearGradient99"> - <stop - id="stop100" - offset="0.0000000" - style="stop-color:#000000;stop-opacity:0.21568628;" /> - - - - <stop - id="stop101" - offset="0.50000000" - style="stop-color:#000000;stop-opacity:0.098;" /> - - - - <stop - id="stop102" - offset="1" - style="stop-color:#000000;stop-opacity:0;" /> - - - - </linearGradient> - - - - <linearGradient - gradientUnits="userSpaceOnUse" - y2="22.21875" - x2="101.95312" - y1="17.296875" - x1="106.875" - id="linearGradient103" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - id="linearGradient104"> - <stop - id="stop105" - offset="0.0000000" - style="stop-color:#000000;stop-opacity:0.21568628;" /> - - - - <stop - id="stop106" - offset="0.50000000" - style="stop-color:#000000;stop-opacity:0.098;" /> - - - - <stop - id="stop107" - offset="1" - style="stop-color:#000000;stop-opacity:0;" /> - - - - </linearGradient> - - - - <linearGradient - gradientUnits="userSpaceOnUse" - y2="64.408142" - x2="61.494499" - y1="57.359093" - x1="68.409271" - gradientTransform="scale(1.732051,0.57735)" - id="linearGradient108" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - id="linearGradient109"> - <stop - id="stop110" - offset="0.0000000" - style="stop-color:#000000;stop-opacity:0.21568628;" /> - - - - <stop - id="stop111" - offset="0.50000000" - style="stop-color:#000000;stop-opacity:0.098;" /> - - - - <stop - id="stop112" - offset="1" - style="stop-color:#000000;stop-opacity:0;" /> - - - - </linearGradient> - - - - <linearGradient - gradientUnits="userSpaceOnUse" - y2="12.737786" - x2="148.01166" - y1="5.295383" - x1="154.70367" - gradientTransform="matrix(0.57735,0,0,1.732051,0,-5)" - id="linearGradient113" - xlink:href="#MaterialSoftShadow" - inkscape:collect="always" /> - - - - <linearGradient - id="linearGradient114"> - <stop - id="stop115" - offset="0.0000000" - style="stop-color:#000000;stop-opacity:0.21568628;" /> - - - - <stop - id="stop116" - offset="0.50000000" - style="stop-color:#000000;stop-opacity:0.098;" /> - - - - <stop - id="stop117" - offset="1" - style="stop-color:#000000;stop-opacity:0;" /> - - - - </linearGradient> - - - - - - - - -</defs> - - - - - <sodipodi:namedview - id="namedview1252" - inkscape:zoom="5.9833333" - inkscape:cx="36.183844" - inkscape:cy="30.885792" - inkscape:window-width="640" - inkscape:window-height="538" - inkscape:window-x="632" - inkscape:window-y="208" - inkscape:current-layer="svg153" /> - - - - - - - - - - - - -</g> - <g - style="stroke:#000000" - id="Layer_2"> - <path - style="fill:none;stroke:none" - id="path155" - d="M 256,256 L 0,256 L 0,0 L 256,0 L 256,256 z " /> - - - - </g> - <path - style="opacity:0.2;stroke:none" - id="path169" - d="M 249.922,236.827 L 201.161,188.067 C 198.656,185.562 194.595,185.562 192.09,188.067 L 191.523,188.634 L 185.088,182.199 C 195.407,171.779 201.785,157.448 201.785,141.625 C 201.785,109.777 175.967,83.958 144.117,83.958 C 112.269,83.958 86.451,109.776 86.451,141.625 C 86.451,173.474 112.269,199.292 144.117,199.292 C 157.832,199.292 170.421,194.496 180.319,186.501 L 186.987,193.169 L 186.419,193.736 C 183.914,196.241 183.914,200.302 186.419,202.806 L 235.18,251.568 C 237.686,254.072 241.746,254.072 244.251,251.568 L 249.922,245.898 C 252.427,243.394 252.427,239.332 249.922,236.827 z " /> - <path - style="stroke:none" - id="path170" - d="M 147.865,148.048 L 195.491,195.674 L 200.027,191.14 L 152.401,143.514 L 147.865,148.048 z " /> - <path - style="fill:#000000;fill-opacity:1;stroke:none" - id="path171" - d="M 186.419,187.737 C 183.914,190.242 183.914,194.303 186.419,196.807 L 235.18,245.569 C 237.686,248.073 241.746,248.073 244.251,245.569 L 249.922,239.899 C 252.427,237.393 252.427,233.332 249.922,230.827 L 201.161,182.067 C 198.656,179.562 194.595,179.562 192.09,182.067 L 186.419,187.737 z " /> - <path - style="fill:url(#linearGradient2324);stroke:none" - id="path178" - d="M 199.248,184.105 C 198.013,182.84 195.977,182.816 194.713,184.051 L 188.975,189.654 C 187.71,190.888 187.686,192.924 188.92,194.188 L 237.093,243.529 C 238.328,244.796 240.364,244.82 241.628,243.584 L 247.365,237.983 C 248.632,236.748 248.656,234.712 247.42,233.448 L 199.248,184.105 z " /> - <path - style="fill:#333333;stroke:none" - id="path179" - d="M 86.451,135.626 C 86.451,167.475 112.269,193.293 144.117,193.293 C 175.967,193.293 201.785,167.475 201.785,135.626 C 201.785,103.778 175.967,77.959 144.117,77.959 C 112.27,77.959 86.451,103.778 86.451,135.626 z " /> - <path - style="fill:#cccccc;stroke:none" - id="path180" - d="M 90.54,135.626 C 90.54,165.169 114.576,189.204 144.118,189.204 C 173.662,189.204 197.697,165.169 197.697,135.626 C 197.697,106.083 173.662,82.048 144.118,82.048 C 114.575,82.048 90.54,106.083 90.54,135.626 z " /> - <path - style="fill:#ffffff;stroke:none" - id="path181" - d="M 92.143,136.428 C 92.143,106.886 116.179,82.85 145.722,82.85 C 153.897,82.85 161.647,84.698 168.586,87.986 C 161.244,84.201 152.931,82.049 144.117,82.049 C 114.575,82.049 90.539,106.084 90.539,135.627 C 90.539,156.996 103.116,175.475 121.254,184.069 C 103.986,175.164 92.143,157.158 92.143,136.428 z " /> - <path - style="fill:#003366;stroke:none" - id="path182" - d="M 95.351,135.626 C 95.351,162.518 117.228,184.393 144.118,184.393 C 171.009,184.393 192.886,162.518 192.886,135.626 C 192.886,108.736 171.009,86.859 144.118,86.859 C 117.228,86.859 95.351,108.736 95.351,135.626 z " /> - <path - style="fill:url(#linearGradient2326);stroke:none" - id="path189" - d="M 98.558,135.626 C 98.558,160.748 118.996,181.187 144.118,181.187 C 169.241,181.187 189.68,160.749 189.68,135.626 C 189.68,110.505 169.242,90.066 144.118,90.066 C 118.996,90.066 98.558,110.505 98.558,135.626 z " /> - <path - style="fill:#ffffff;stroke:none" - id="path190" - d="M 100.558,135.626 C 100.558,142.025 101.956,148.1 104.445,153.578 C 106.086,153.003 107.623,152.181 109,151 C 131.087,136.059 149.378,113.525 171.82,102.034 C 164.285,95.81 154.63,92.066 144.117,92.066 C 120.098,92.066 100.558,111.607 100.558,135.626 z " /> - </g> - <text - xml:space="preserve" - style="font-size:10.28180504px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;fill:#004a00;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans" - x="184.9283" - y="143.57057" - id="text3493" - sodipodi:linespacing="125%" - transform="scale(1.243806,0.8039839)"><tspan - sodipodi:role="line" - id="tspan3495" - x="184.9283" - y="143.57057">Ï•</tspan></text> - </g> -</svg> diff --git a/images/new-pg-goto.svg b/images/new-pg-goto.svg deleted file mode 100644 index 92f21a76..00000000 --- a/images/new-pg-goto.svg +++ /dev/null @@ -1,218 +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-goto.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="114.61499" - x2="232.73132" - y2="114.61499" - gradientUnits="userSpaceOnUse" - gradientTransform="translate(0,1.000001)" /> - <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.39313,8e-7)" /> - <linearGradient - inkscape:collect="always" - xlink:href="#linearGradient5376" - id="linearGradient3961" - gradientUnits="userSpaceOnUse" - gradientTransform="matrix(-1,0,0,1,465.42858,1.0329094)" - x1="224.71429" - y1="114.61499" - x2="232.73132" - y2="114.61499" /> - </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="62" - inkscape:window-y="52" /> - <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 225.21429,107.61499 L 225.21429,123.61499 L 232.65665,115.63279 L 225.21429,107.61499 z " - id="path4343" - sodipodi:nodetypes="cccc" /> - <path - style="fill:url(#linearGradient3961);fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" - d="M 240.21429,107.6479 L 240.21429,123.6479 L 232.77193,115.6657 L 240.21429,107.6479 z " - id="path3959" - sodipodi:nodetypes="cccc" /> - <path - sodipodi:type="arc" - style="fill:#004f00;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:0;stroke-dasharray:none;stroke-opacity:1" - id="path3305" - sodipodi:cx="11.027848" - sodipodi:cy="10.010126" - sodipodi:rx="2.0962026" - sodipodi:ry="2.0962026" - d="M 13.124045,10.00502 A 2.0962026,2.0962026 0 1 1 13.123378,9.9570065" - transform="translate(222.09024,105.73398)" - sodipodi:start="6.2807495" - sodipodi:end="12.541027" - sodipodi:open="true" /> - </g> -</svg> diff --git a/images/new-pg-help.svg b/images/new-pg-help.svg deleted file mode 100644 index aed4ab00..00000000 --- a/images/new-pg-help.svg +++ /dev/null @@ -1,214 +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: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-help.svg" - inkscape:output_extension="org.inkscape.output.svg.inkscape"> - <defs - id="defs4"> - <linearGradient - id="linearGradient7950"> - <stop - style="stop-color:#850f0f;stop-opacity:1;" - offset="0" - id="stop7952" /> - <stop - style="stop-color:#c8c8c8;stop-opacity:1;" - offset="1" - id="stop7954" /> - </linearGradient> - <marker - inkscape:stockid="Arrow2Mend" - orient="auto" - refY="0.0" - refX="0.0" - id="Arrow2Mend" - style="overflow:visible;"> - <path - id="path3202" - style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round;" - d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " - transform="scale(0.6) rotate(180) translate(0,0)" /> - </marker> - <marker - inkscape:stockid="Arrow2Sstart" - orient="auto" - refY="0.0" - refX="0.0" - id="Arrow2Sstart" - style="overflow:visible"> - <path - id="path3205" - style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round" - d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " - transform="scale(0.3) translate(-2.3,0)" /> - </marker> - <marker - inkscape:stockid="Arrow2Send" - orient="auto" - refY="0.0" - refX="0.0" - id="Arrow2Send" - style="overflow:visible;"> - <path - id="path3208" - style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round;" - d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " - transform="scale(0.3) rotate(180) translate(-2.3,0)" /> - </marker> - <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> - </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="13.132561" - inkscape:cy="11.523411" - inkscape:document-units="px" - inkscape:current-layer="layer1" - width="24px" - height="24px" - showgrid="true" - inkscape:window-width="822" - inkscape:window-height="635" - inkscape:window-x="47" - inkscape:window-y="188" /> - <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)"> - <text - xml:space="preserve" - style="font-size:28px;font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#0b0059;fill-opacity:1;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Liberation Serif" - x="224.44672" - y="125.18697" - id="text3963" - sodipodi:linespacing="100%"><tspan - sodipodi:role="line" - id="tspan4031" - x="224.44672" - y="125.18697">?</tspan></text> - </g> -</svg> diff --git a/images/new-pg-interrupt.svg b/images/new-pg-interrupt.svg deleted file mode 100644 index 44053af8..00000000 --- a/images/new-pg-interrupt.svg +++ /dev/null @@ -1,221 +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-interrupt.svg" - inkscape:output_extension="org.inkscape.output.svg.inkscape"> - <defs - id="defs4"> - <linearGradient - id="linearGradient7950"> - <stop - style="stop-color:#850f0f;stop-opacity:1;" - offset="0" - id="stop7952" /> - <stop - style="stop-color:#c8c8c8;stop-opacity:1;" - offset="1" - id="stop7954" /> - </linearGradient> - <marker - inkscape:stockid="Arrow2Mend" - orient="auto" - refY="0.0" - refX="0.0" - id="Arrow2Mend" - style="overflow:visible;"> - <path - id="path3202" - style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round;" - d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " - transform="scale(0.6) rotate(180) translate(0,0)" /> - </marker> - <marker - inkscape:stockid="Arrow2Sstart" - orient="auto" - refY="0.0" - refX="0.0" - id="Arrow2Sstart" - style="overflow:visible"> - <path - id="path3205" - style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round" - d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " - transform="scale(0.3) translate(-2.3,0)" /> - </marker> - <marker - inkscape:stockid="Arrow2Send" - orient="auto" - refY="0.0" - refX="0.0" - id="Arrow2Send" - style="overflow:visible;"> - <path - id="path3208" - style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round;" - d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " - transform="scale(0.3) rotate(180) translate(-2.3,0)" /> - </marker> - <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="#linearGradient7950" - id="linearGradient7956" - x1="232.82144" - y1="118.45053" - x2="232.82144" - y2="105.26572" - gradientUnits="userSpaceOnUse" - gradientTransform="translate(-0.57142,-1.3521034)" /> - </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="13.132561" - inkscape:cy="11.523411" - inkscape:document-units="px" - inkscape:current-layer="layer1" - width="24px" - height="24px" - showgrid="true" - inkscape:window-width="822" - inkscape:window-height="635" - inkscape:window-x="53" - inkscape:window-y="77" /> - <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)"> - <rect - style="fill:url(#linearGradient7956);fill-opacity:1;stroke:#000000;stroke-width:1;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4.80000019;stroke-dasharray:none;stroke-opacity:1" - id="rect7864" - width="13.428589" - height="12.647903" - x="226.21429" - y="110" /> - </g> -</svg> diff --git a/images/new-pg-next.svg b/images/new-pg-next.svg deleted file mode 100644 index 04d5f802..00000000 --- a/images/new-pg-next.svg +++ /dev/null @@ -1,179 +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-next.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="244.68138" - y2="115.6479" - gradientUnits="userSpaceOnUse" /> - </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="53" - inkscape:window-y="89" /> - <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-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;fill-opacity:1.0" - d="M 225.21429,107.6479 L 225.21429,123.6479 L 240.17125,115.6479 L 225.21429,107.6479 z " - id="path4343" - sodipodi:nodetypes="cccc" /> - </g> -</svg> diff --git a/images/new-pg-restart.svg b/images/new-pg-restart.svg deleted file mode 100644 index 5bd0c195..00000000 --- a/images/new-pg-restart.svg +++ /dev/null @@ -1,240 +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-restart.svg" - inkscape:output_extension="org.inkscape.output.svg.inkscape"> - <defs - id="defs4"> - <linearGradient - id="linearGradient10266"> - <stop - id="stop10268" - offset="0" - style="stop-color:#850f0f;stop-opacity:1;" /> - <stop - id="stop10270" - offset="1" - style="stop-color:#dcdcdc;stop-opacity:1;" /> - </linearGradient> - <linearGradient - id="linearGradient7856"> - <stop - style="stop-color:#004700;stop-opacity:1;" - offset="0" - id="stop7858" /> - <stop - style="stop-color:#dcdcdc;stop-opacity:1;" - offset="1" - id="stop7860" /> - </linearGradient> - <marker - inkscape:stockid="Arrow2Mend" - orient="auto" - refY="0.0" - refX="0.0" - id="Arrow2Mend" - style="overflow:visible;"> - <path - id="path3202" - style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round;" - d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " - transform="scale(0.6) rotate(180) translate(0,0)" /> - </marker> - <marker - inkscape:stockid="Arrow2Sstart" - orient="auto" - refY="0.0" - refX="0.0" - id="Arrow2Sstart" - style="overflow:visible"> - <path - id="path3205" - style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round" - d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " - transform="scale(0.3) translate(-2.3,0)" /> - </marker> - <marker - inkscape:stockid="Arrow2Send" - orient="auto" - refY="0.0" - refX="0.0" - id="Arrow2Send" - style="overflow:visible;"> - <path - id="path3208" - style="font-size:12.0;fill-rule:evenodd;stroke-width:0.62500000;stroke-linejoin:round;" - d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " - transform="scale(0.3) rotate(180) translate(-2.3,0)" /> - </marker> - <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="#linearGradient7856" - id="linearGradient7862" - x1="7.2352862" - y1="-3.8060107" - x2="15.597629" - y2="27.606647" - gradientUnits="userSpaceOnUse" /> - <linearGradient - inkscape:collect="always" - xlink:href="#linearGradient10266" - id="linearGradient10264" - gradientUnits="userSpaceOnUse" - x1="7.2352862" - y1="-3.8060107" - x2="15.597629" - y2="27.606647" - gradientTransform="translate(10.39494,10.02025)" /> - </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="22.924146" - inkscape:cy="13.643434" - inkscape:document-units="px" - inkscape:current-layer="layer1" - width="24px" - height="24px" - showgrid="true" - inkscape:window-width="822" - inkscape:window-height="583" - inkscape:window-x="73" - inkscape:window-y="47" /> - <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(#linearGradient10264);fill-opacity:1.0;stroke:#000000;stroke-width:0.6;stroke-linecap:square;stroke-linejoin:round;stroke-miterlimit:4.80000019;stroke-opacity:1;stroke-dasharray:none" - d="M 11.625,1.84375 C 6.0885896,2.11081 1.76419,6.86984 2.03125,12.40625 C 2.3108801,18.20332 8.12002,21.89408 13.5625,20.9375 L 15.53125,20.5625 L 14.84375,16.625 L 12.875,16.96875 C 9.6494396,17.53568 6.18146,15.33276 6.03125,12.21875 C 5.8684701,8.8440797 8.43783,6.00653 11.8125,5.84375 C 13.31245,5.7714002 14.660862,6.0533 15.630222,6.625 C 16.599582,7.1967002 17.039832,7.82316 17.3125,9.28125 L 16.949684,10.663212 C 16.205388,10.545885 14.626632,10.709853 14.194541,10.592009 L 18.152848,15.032991 L 22.4375,10.84375 C 22.101734,10.943572 20.837267,10.771504 20.463608,10.819462 L 20.704905,8.7014241 C 20.649906,5.9945338 20.123737,4.9855244 18.451345,3.4912974 C 16.793075,2.0096885 13.71572,1.7429 11.625,1.84375 z " - transform="translate(220.71429,104.1479)" - id="path3170" - sodipodi:nodetypes="csccccssscccccccsc" /> - </g> -</svg> diff --git a/images/new-pg-retract.svg b/images/new-pg-retract.svg deleted file mode 100644 index 6a91cc8f..00000000 --- a/images/new-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> diff --git a/images/new-pg-undo.svg b/images/new-pg-undo.svg deleted file mode 100644 index 336493ce..00000000 --- a/images/new-pg-undo.svg +++ /dev/null @@ -1,180 +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-undo.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,465.38554,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="11.513924" - inkscape:cy="12.486076" - 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="39" - inkscape:window-y="129" /> - <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 240.17125,107.6479 L 240.17125,123.6479 L 225.21429,115.6479 L 240.17125,107.6479 z " - id="path4343" - sodipodi:nodetypes="cccc" /> - </g> -</svg> diff --git a/images/new-pg-use.svg b/images/new-pg-use.svg deleted file mode 100644 index d2e571ea..00000000 --- a/images/new-pg-use.svg +++ /dev/null @@ -1,186 +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-use.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" /> - </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-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;fill-opacity:1.0" - d="M 225.21429,107.6479 L 225.21429,123.6479 L 240.17125,115.6479 L 225.21429,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="241.04694" - y="109.3979" /> - </g> -</svg> diff --git a/images/notes.txt b/images/notes.txt deleted file mode 100644 index ab7fc1c2..00000000 --- a/images/notes.txt +++ /dev/null @@ -1,109 +0,0 @@ -$Id$ - -Notes about how I made the icons and logos here (not in core distribution). -============================================================================ - - David Aspinall <da@dcs.ed.ac.uk> - -ICONS -===== - -Made with the Gimp. - -Icons to fit on the (default size) Emacs toolbars are 32x32. The ones -with pictures were made at 256x256, then shrunk to have text added. - -Background grey is V74. -Red for buttons is 135,13,13. - -Red background for web is 80,0,48 - -CD player buttons based on font wptypographicsymbols, point size 28, -placed at 5,2. - -Text is lucidafax demibold italic at point size 8. - -blank.xcf -- blank with correct background colour. - -Some icons I drew, some I stole from free sources. - -"Favicon" ident icon for web page: made from a 16x16 scaled down image of -the general, making background colour transparent, save as gif then: - convert pgminia.gif pgminia.ppm (ImageMagick) - ppmtowinicon pgminia.ppm > favicon.ico -Seems to work (but would be better to create both 16x16 and 32x32 sized -icons in file, for desktop links). -See http://msdn.microsoft.com/workshop/Author/dhtml/howto/ShortcutIcon.asp -and http://www.favicon.com - - - -LOGOS -===== - -Original text logo: - -script fu -> logos -> comic book - - StencilBT font - Browns gradient - 40pt Text size - 4pt outline (NB: size of both black and shaded portion) - -Then I filled background with web page colour, and shaded portion -with green colour. - -New text logo: same font, but made in blender file. - - -Proof general logos -=================== - -Web page: scene with canvas backdrop. Render in blender at full size, -then use gimp to scale to web size (250pix wide). This gives much -nicer result than low-resolution render: textures are smoothed out -more prettily. - -EPS (doc/ProofGeneral.eps): For texi documentation. Used another, -wider image with alpha channel to (attempt to) leave background white -on printed page. Post processing with gimp to add fuzzy border and -white background since eps (gimp?) can't handle alpha channel. - - Width 5.00 " - Height 7.87 (wrong, obviously: 3.48 is right by scaling) - - But: this is *page* size! The image size itself - was square, I think. - Size of tiff image is 904x903. - - X-offset 2.8 " - Y-offset 1.0 " - Rotation: 0 - -Actually, Y-offset seems to have no effect on page position: what -happens is that TeX compensates for the offset when it inserts the -image! Changing the offset and retexing puts the image back where TeX -wants it. Probably same true for X offset. - -Solving the size problem: original .eps is 8.4M. (Original xcf file -is missing/not saved). - -Test procedure: - - 1. render at 239dpi (original file seems to have 1200x1200 image in - it, this is closest I can get, makes 1199x1199 image). - 2. save as pnm (gives 4.1M file) - 3. Run pnmtoeps with -rle argument to get run length encoding. (4.1M) - 4. gzip -9 -> gives 1.6M file. - -Just using gzip directly gives 1.6M file anyway. -tiff is 1.5M. png is 1.2M. bz2 is 1.3M. - -Okay, so we'll distribute the original .eps file, gzipped. -(It gets compressed inside the tar file anyway, of course, but -leaving it zipped is less polluting). - -Badges -====== - -These were cut out from a close-up view of Proof General's chest. diff --git a/images/pg-abort.xcf b/images/pg-abort.xcf Binary files differdeleted file mode 100644 index 8abb9987..00000000 --- a/images/pg-abort.xcf +++ /dev/null diff --git a/images/pg-command.xcf b/images/pg-command.xcf Binary files differdeleted file mode 100644 index 4a283284..00000000 --- a/images/pg-command.xcf +++ /dev/null diff --git a/images/pg-context.xcf b/images/pg-context.xcf Binary files differdeleted file mode 100644 index a550fa8a..00000000 --- a/images/pg-context.xcf +++ /dev/null diff --git a/images/pg-find.xcf b/images/pg-find.xcf Binary files differdeleted file mode 100644 index ed155149..00000000 --- a/images/pg-find.xcf +++ /dev/null diff --git a/images/pg-goal.xcf b/images/pg-goal.xcf Binary files differdeleted file mode 100644 index e30daaab..00000000 --- a/images/pg-goal.xcf +++ /dev/null diff --git a/images/pg-goto.xcf b/images/pg-goto.xcf Binary files differdeleted file mode 100644 index ec27b921..00000000 --- a/images/pg-goto.xcf +++ /dev/null diff --git a/images/pg-help.xcf b/images/pg-help.xcf Binary files differdeleted file mode 100644 index 1b8b810f..00000000 --- a/images/pg-help.xcf +++ /dev/null diff --git a/images/pg-info.xcf b/images/pg-info.xcf Binary files differdeleted file mode 100644 index d6454f5b..00000000 --- a/images/pg-info.xcf +++ /dev/null diff --git a/images/pg-interrupt.xcf b/images/pg-interrupt.xcf Binary files differdeleted file mode 100644 index 0b71ff42..00000000 --- a/images/pg-interrupt.xcf +++ /dev/null diff --git a/images/pg-next.xcf b/images/pg-next.xcf Binary files differdeleted file mode 100644 index 37018289..00000000 --- a/images/pg-next.xcf +++ /dev/null diff --git a/images/pg-qed.xcf b/images/pg-qed.xcf Binary files differdeleted file mode 100644 index 48dc1d43..00000000 --- a/images/pg-qed.xcf +++ /dev/null diff --git a/images/pg-restart.xcf b/images/pg-restart.xcf Binary files differdeleted file mode 100644 index 1b1ab282..00000000 --- a/images/pg-restart.xcf +++ /dev/null diff --git a/images/pg-retract.xcf b/images/pg-retract.xcf Binary files differdeleted file mode 100644 index 7c5f6a3b..00000000 --- a/images/pg-retract.xcf +++ /dev/null diff --git a/images/pg-state.xcf b/images/pg-state.xcf Binary files differdeleted file mode 100644 index ad471b1c..00000000 --- a/images/pg-state.xcf +++ /dev/null diff --git a/images/pg-text.8bit.gif b/images/pg-text.8bit.gif Binary files differdeleted file mode 100644 index faf44286..00000000 --- a/images/pg-text.8bit.gif +++ /dev/null diff --git a/images/pg-text.gif b/images/pg-text.gif Binary files differdeleted file mode 100644 index acab510e..00000000 --- a/images/pg-text.gif +++ /dev/null diff --git a/images/pg-text.jpg b/images/pg-text.jpg Binary files differdeleted file mode 100644 index e2f1d5e3..00000000 --- a/images/pg-text.jpg +++ /dev/null diff --git a/images/pg-text.xcf b/images/pg-text.xcf Binary files differdeleted file mode 100644 index 1b542378..00000000 --- a/images/pg-text.xcf +++ /dev/null diff --git a/images/pg-undo.xcf b/images/pg-undo.xcf Binary files differdeleted file mode 100644 index 3234b252..00000000 --- a/images/pg-undo.xcf +++ /dev/null diff --git a/images/pg-use.xcf b/images/pg-use.xcf Binary files differdeleted file mode 100644 index dd161d2d..00000000 --- a/images/pg-use.xcf +++ /dev/null |
