From 39a5d68776d9a15df87a256f394897d84fd2e8bc Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 11 Dec 2007 19:26:16 +0000 Subject: Deleted file --- images/.cvsignore | 4 - images/Makefile | 117 ---- images/ProofGeneral-headcrop.xcf | Bin 45758 -> 0 bytes images/ProofGeneral.8bit.gif | Bin 16547 -> 0 bytes images/ProofGeneral.xcf | Bin 80632 -> 0 bytes images/blank.xcf | Bin 266 -> 0 bytes images/coq-badge.xcf | Bin 120521 -> 0 bytes images/favicon.icon | Bin 894 -> 0 bytes images/fireworks.xcf | Bin 99268 -> 0 bytes images/goal_large.xcf | Bin 194264 -> 0 bytes images/hiddenproof.xcf | Bin 767 -> 0 bytes images/isabelle-badge.xcf | Bin 157845 -> 0 bytes images/lego-badge.xcf | Bin 135157 -> 0 bytes images/new-next-plus-scanned-path-junk.svg | 193 ------ images/new-pg-context.svg | 183 ------ images/new-pg-find.svg | 950 ----------------------------- images/new-pg-goto.svg | 218 ------- images/new-pg-help.svg | 214 ------- images/new-pg-interrupt.svg | 221 ------- images/new-pg-next.svg | 179 ------ images/new-pg-restart.svg | 240 -------- images/new-pg-retract.svg | 188 ------ images/new-pg-undo.svg | 180 ------ images/new-pg-use.svg | 186 ------ images/notes.txt | 109 ---- images/pg-abort.xcf | Bin 1773 -> 0 bytes images/pg-command.xcf | Bin 2385 -> 0 bytes images/pg-context.xcf | Bin 2495 -> 0 bytes images/pg-find.xcf | Bin 2547 -> 0 bytes images/pg-goal.xcf | Bin 2434 -> 0 bytes images/pg-goto.xcf | Bin 1927 -> 0 bytes images/pg-help.xcf | Bin 2697 -> 0 bytes images/pg-info.xcf | Bin 2198 -> 0 bytes images/pg-interrupt.xcf | Bin 1410 -> 0 bytes images/pg-next.xcf | Bin 928 -> 0 bytes images/pg-qed.xcf | Bin 3613 -> 0 bytes images/pg-restart.xcf | Bin 1082 -> 0 bytes images/pg-retract.xcf | Bin 1436 -> 0 bytes images/pg-state.xcf | Bin 2657 -> 0 bytes images/pg-text.8bit.gif | Bin 5859 -> 0 bytes images/pg-text.gif | Bin 7956 -> 0 bytes images/pg-text.jpg | Bin 7784 -> 0 bytes images/pg-text.xcf | Bin 38464 -> 0 bytes images/pg-undo.xcf | Bin 932 -> 0 bytes images/pg-use.xcf | Bin 1508 -> 0 bytes 45 files changed, 3182 deletions(-) delete mode 100644 images/.cvsignore delete mode 100644 images/Makefile delete mode 100644 images/ProofGeneral-headcrop.xcf delete mode 100644 images/ProofGeneral.8bit.gif delete mode 100644 images/ProofGeneral.xcf delete mode 100644 images/blank.xcf delete mode 100644 images/coq-badge.xcf delete mode 100644 images/favicon.icon delete mode 100644 images/fireworks.xcf delete mode 100644 images/goal_large.xcf delete mode 100644 images/hiddenproof.xcf delete mode 100644 images/isabelle-badge.xcf delete mode 100644 images/lego-badge.xcf delete mode 100644 images/new-next-plus-scanned-path-junk.svg delete mode 100644 images/new-pg-context.svg delete mode 100644 images/new-pg-find.svg delete mode 100644 images/new-pg-goto.svg delete mode 100644 images/new-pg-help.svg delete mode 100644 images/new-pg-interrupt.svg delete mode 100644 images/new-pg-next.svg delete mode 100644 images/new-pg-restart.svg delete mode 100644 images/new-pg-retract.svg delete mode 100644 images/new-pg-undo.svg delete mode 100644 images/new-pg-use.svg delete mode 100644 images/notes.txt delete mode 100644 images/pg-abort.xcf delete mode 100644 images/pg-command.xcf delete mode 100644 images/pg-context.xcf delete mode 100644 images/pg-find.xcf delete mode 100644 images/pg-goal.xcf delete mode 100644 images/pg-goto.xcf delete mode 100644 images/pg-help.xcf delete mode 100644 images/pg-info.xcf delete mode 100644 images/pg-interrupt.xcf delete mode 100644 images/pg-next.xcf delete mode 100644 images/pg-qed.xcf delete mode 100644 images/pg-restart.xcf delete mode 100644 images/pg-retract.xcf delete mode 100644 images/pg-state.xcf delete mode 100644 images/pg-text.8bit.gif delete mode 100644 images/pg-text.gif delete mode 100644 images/pg-text.jpg delete mode 100644 images/pg-text.xcf delete mode 100644 images/pg-undo.xcf delete mode 100644 images/pg-use.xcf (limited to 'images') 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 -## -## 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 deleted file mode 100644 index dd219bfb..00000000 Binary files a/images/ProofGeneral-headcrop.xcf and /dev/null differ diff --git a/images/ProofGeneral.8bit.gif b/images/ProofGeneral.8bit.gif deleted file mode 100644 index dfb182be..00000000 Binary files a/images/ProofGeneral.8bit.gif and /dev/null differ diff --git a/images/ProofGeneral.xcf b/images/ProofGeneral.xcf deleted file mode 100644 index 709b346c..00000000 Binary files a/images/ProofGeneral.xcf and /dev/null differ diff --git a/images/blank.xcf b/images/blank.xcf deleted file mode 100644 index 950652e5..00000000 Binary files a/images/blank.xcf and /dev/null differ diff --git a/images/coq-badge.xcf b/images/coq-badge.xcf deleted file mode 100644 index 98ba6ded..00000000 Binary files a/images/coq-badge.xcf and /dev/null differ diff --git a/images/favicon.icon b/images/favicon.icon deleted file mode 100644 index acdc0dc6..00000000 Binary files a/images/favicon.icon and /dev/null differ diff --git a/images/fireworks.xcf b/images/fireworks.xcf deleted file mode 100644 index 81a40470..00000000 Binary files a/images/fireworks.xcf and /dev/null differ diff --git a/images/goal_large.xcf b/images/goal_large.xcf deleted file mode 100644 index 95146fa2..00000000 Binary files a/images/goal_large.xcf and /dev/null differ diff --git a/images/hiddenproof.xcf b/images/hiddenproof.xcf deleted file mode 100644 index 77c189d7..00000000 Binary files a/images/hiddenproof.xcf and /dev/null differ diff --git a/images/isabelle-badge.xcf b/images/isabelle-badge.xcf deleted file mode 100644 index ad5de7bd..00000000 Binary files a/images/isabelle-badge.xcf and /dev/null differ diff --git a/images/lego-badge.xcf b/images/lego-badge.xcf deleted file mode 100644 index c0a2985d..00000000 Binary files a/images/lego-badge.xcf and /dev/null differ 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 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - image/svg+xml - - - - - - - - - - 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 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - image/svg+xml - - - - - - 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 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - image/svg+xml - - - - - - - ϕ - ϕ - - - - - image/svg+xml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ϕ - - 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 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - image/svg+xml - - - - - - - - - - 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 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - image/svg+xml - - - - - - ? - - 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 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - image/svg+xml - - - - - - - - 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 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - image/svg+xml - - - - - - - - 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 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - image/svg+xml - - - - - - - - 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 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - image/svg+xml - - - - - - - - - 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 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - image/svg+xml - - - - - - - - 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 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - image/svg+xml - - - - - - - - - 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 - -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 deleted file mode 100644 index 8abb9987..00000000 Binary files a/images/pg-abort.xcf and /dev/null differ diff --git a/images/pg-command.xcf b/images/pg-command.xcf deleted file mode 100644 index 4a283284..00000000 Binary files a/images/pg-command.xcf and /dev/null differ diff --git a/images/pg-context.xcf b/images/pg-context.xcf deleted file mode 100644 index a550fa8a..00000000 Binary files a/images/pg-context.xcf and /dev/null differ diff --git a/images/pg-find.xcf b/images/pg-find.xcf deleted file mode 100644 index ed155149..00000000 Binary files a/images/pg-find.xcf and /dev/null differ diff --git a/images/pg-goal.xcf b/images/pg-goal.xcf deleted file mode 100644 index e30daaab..00000000 Binary files a/images/pg-goal.xcf and /dev/null differ diff --git a/images/pg-goto.xcf b/images/pg-goto.xcf deleted file mode 100644 index ec27b921..00000000 Binary files a/images/pg-goto.xcf and /dev/null differ diff --git a/images/pg-help.xcf b/images/pg-help.xcf deleted file mode 100644 index 1b8b810f..00000000 Binary files a/images/pg-help.xcf and /dev/null differ diff --git a/images/pg-info.xcf b/images/pg-info.xcf deleted file mode 100644 index d6454f5b..00000000 Binary files a/images/pg-info.xcf and /dev/null differ diff --git a/images/pg-interrupt.xcf b/images/pg-interrupt.xcf deleted file mode 100644 index 0b71ff42..00000000 Binary files a/images/pg-interrupt.xcf and /dev/null differ diff --git a/images/pg-next.xcf b/images/pg-next.xcf deleted file mode 100644 index 37018289..00000000 Binary files a/images/pg-next.xcf and /dev/null differ diff --git a/images/pg-qed.xcf b/images/pg-qed.xcf deleted file mode 100644 index 48dc1d43..00000000 Binary files a/images/pg-qed.xcf and /dev/null differ diff --git a/images/pg-restart.xcf b/images/pg-restart.xcf deleted file mode 100644 index 1b1ab282..00000000 Binary files a/images/pg-restart.xcf and /dev/null differ diff --git a/images/pg-retract.xcf b/images/pg-retract.xcf deleted file mode 100644 index 7c5f6a3b..00000000 Binary files a/images/pg-retract.xcf and /dev/null differ diff --git a/images/pg-state.xcf b/images/pg-state.xcf deleted file mode 100644 index ad471b1c..00000000 Binary files a/images/pg-state.xcf and /dev/null differ diff --git a/images/pg-text.8bit.gif b/images/pg-text.8bit.gif deleted file mode 100644 index faf44286..00000000 Binary files a/images/pg-text.8bit.gif and /dev/null differ diff --git a/images/pg-text.gif b/images/pg-text.gif deleted file mode 100644 index acab510e..00000000 Binary files a/images/pg-text.gif and /dev/null differ diff --git a/images/pg-text.jpg b/images/pg-text.jpg deleted file mode 100644 index e2f1d5e3..00000000 Binary files a/images/pg-text.jpg and /dev/null differ diff --git a/images/pg-text.xcf b/images/pg-text.xcf deleted file mode 100644 index 1b542378..00000000 Binary files a/images/pg-text.xcf and /dev/null differ diff --git a/images/pg-undo.xcf b/images/pg-undo.xcf deleted file mode 100644 index 3234b252..00000000 Binary files a/images/pg-undo.xcf and /dev/null differ diff --git a/images/pg-use.xcf b/images/pg-use.xcf deleted file mode 100644 index dd161d2d..00000000 Binary files a/images/pg-use.xcf and /dev/null differ -- cgit v1.2.3