diff options
Diffstat (limited to 'images')
| -rw-r--r-- | images/.cvsignore | 4 | ||||
| -rw-r--r-- | images/Makefile | 100 | ||||
| -rw-r--r-- | images/ProofGeneral.8bit.gif | bin | 0 -> 16547 bytes | |||
| -rw-r--r-- | images/ProofGeneral.gif | bin | 0 -> 18165 bytes | |||
| -rw-r--r-- | images/ProofGeneral.jpg | bin | 0 -> 16123 bytes | |||
| -rw-r--r-- | images/ProofGeneral.xcf | bin | 0 -> 80632 bytes | |||
| -rw-r--r-- | images/README | 16 | ||||
| -rw-r--r-- | images/abort.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/abort.xcf | bin | 0 -> 1865 bytes | |||
| -rw-r--r-- | images/abort.xpm | 71 | ||||
| -rw-r--r-- | images/blank.xcf | bin | 0 -> 266 bytes | |||
| -rw-r--r-- | images/command.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/command.xcf | bin | 0 -> 2828 bytes | |||
| -rw-r--r-- | images/command.xpm | 336 | ||||
| -rw-r--r-- | images/context.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/context.xcf | bin | 0 -> 2816 bytes | |||
| -rw-r--r-- | images/context.xpm | 180 | ||||
| -rw-r--r-- | images/coq-badge.xcf | bin | 0 -> 120521 bytes | |||
| -rw-r--r-- | images/find.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/find.xcf | bin | 0 -> 3137 bytes | |||
| -rw-r--r-- | images/find.xpm | 259 | ||||
| -rw-r--r-- | images/fireworks.xcf | bin | 0 -> 99268 bytes | |||
| -rw-r--r-- | images/gimp/.cvsignore | 5 | ||||
| -rw-r--r-- | images/gimp/scripts/proofgeneral.scm | 98 | ||||
| -rw-r--r-- | images/goal.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/goal.xcf | bin | 0 -> 3573 bytes | |||
| -rw-r--r-- | images/goal.xpm | 586 | ||||
| -rw-r--r-- | images/goal_large.xcf | bin | 0 -> 194264 bytes | |||
| -rw-r--r-- | images/goto.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/goto.xcf | bin | 0 -> 2230 bytes | |||
| -rw-r--r-- | images/goto.xpm | 106 | ||||
| -rw-r--r-- | images/help.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/help.xcf | bin | 0 -> 3708 bytes | |||
| -rw-r--r-- | images/help.xpm | 368 | ||||
| -rw-r--r-- | images/hiddenproof.xcf | bin | 0 -> 767 bytes | |||
| -rw-r--r-- | images/hiddenproof.xpm | 103 | ||||
| -rw-r--r-- | images/info.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/info.xcf | bin | 0 -> 2656 bytes | |||
| -rw-r--r-- | images/info.xpm | 113 | ||||
| -rw-r--r-- | images/interrupt.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/interrupt.xcf | bin | 0 -> 2063 bytes | |||
| -rw-r--r-- | images/interrupt.xpm | 87 | ||||
| -rw-r--r-- | images/isabelle-badge.xcf | bin | 0 -> 157845 bytes | |||
| -rw-r--r-- | images/lego-badge.xcf | bin | 0 -> 135157 bytes | |||
| -rw-r--r-- | images/next.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/next.xcf | bin | 0 -> 1118 bytes | |||
| -rw-r--r-- | images/next.xpm | 59 | ||||
| -rw-r--r-- | images/notes.txt | 109 | ||||
| -rw-r--r-- | images/pg-text.8bit.gif | bin | 0 -> 5859 bytes | |||
| -rw-r--r-- | images/pg-text.gif | bin | 0 -> 7956 bytes | |||
| -rw-r--r-- | images/pg-text.jpg | bin | 0 -> 7784 bytes | |||
| -rw-r--r-- | images/pg-text.xcf | bin | 0 -> 38464 bytes | |||
| -rw-r--r-- | images/pgicon.png | bin | 0 -> 4213 bytes | |||
| -rw-r--r-- | images/pgmini.xpm | 241 | ||||
| -rw-r--r-- | images/qed.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/qed.xcf | bin | 0 -> 3613 bytes | |||
| -rw-r--r-- | images/qed.xpm | 573 | ||||
| -rw-r--r-- | images/restart.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/restart.xcf | bin | 0 -> 1312 bytes | |||
| -rw-r--r-- | images/restart.xpm | 55 | ||||
| -rw-r--r-- | images/retract.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/retract.xcf | bin | 0 -> 1673 bytes | |||
| -rw-r--r-- | images/retract.xpm | 62 | ||||
| -rw-r--r-- | images/state.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/state.xcf | bin | 0 -> 2761 bytes | |||
| -rw-r--r-- | images/state.xpm | 180 | ||||
| -rw-r--r-- | images/undo.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/undo.xcf | bin | 0 -> 1135 bytes | |||
| -rw-r--r-- | images/undo.xpm | 59 | ||||
| -rw-r--r-- | images/use.8bit.xpm | 44 | ||||
| -rw-r--r-- | images/use.xcf | bin | 0 -> 1575 bytes | |||
| -rw-r--r-- | images/use.xpm | 62 |
72 files changed, 4536 insertions, 0 deletions
diff --git a/images/.cvsignore b/images/.cvsignore new file mode 100644 index 00000000..46b71d73 --- /dev/null +++ b/images/.cvsignore @@ -0,0 +1,4 @@ +buttons +webpix +.xvpics + diff --git a/images/Makefile b/images/Makefile new file mode 100644 index 00000000..28e9e7b4 --- /dev/null +++ b/images/Makefile @@ -0,0 +1,100 @@ +## +## 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=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf state.xcf context.xcf info.xcf command.xcf help.xcf find.xcf interrupt.xcf goto.xcf 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/#BCBCBC"/#BCBCBC 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 + diff --git a/images/ProofGeneral.8bit.gif b/images/ProofGeneral.8bit.gif Binary files differnew file mode 100644 index 00000000..dfb182be --- /dev/null +++ b/images/ProofGeneral.8bit.gif diff --git a/images/ProofGeneral.gif b/images/ProofGeneral.gif Binary files differnew file mode 100644 index 00000000..4f83fb95 --- /dev/null +++ b/images/ProofGeneral.gif diff --git a/images/ProofGeneral.jpg b/images/ProofGeneral.jpg Binary files differnew file mode 100644 index 00000000..d2c430cd --- /dev/null +++ b/images/ProofGeneral.jpg diff --git a/images/ProofGeneral.xcf b/images/ProofGeneral.xcf Binary files differnew file mode 100644 index 00000000..709b346c --- /dev/null +++ b/images/ProofGeneral.xcf diff --git a/images/README b/images/README new file mode 100644 index 00000000..e9bc5489 --- /dev/null +++ b/images/README @@ -0,0 +1,16 @@ +$Id$ + +Icons for Proof General. + +David Aspinall <da@dcs.ed.ac.uk> + +Contact: Proof General maintainer <proofgen@dcs.ed.ac.uk> + +The images in this directory were made with The Gimp +(check www.gimp.org). + + + + + + diff --git a/images/abort.8bit.xpm b/images/abort.8bit.xpm new file mode 100644 index 00000000..01a9afc8 --- /dev/null +++ b/images/abort.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * abort_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #020202", +"+ c #860E0E", +"@ c #8D1F1F", +"# c #9A4646", +"$ c #A05D5D", +"% c #AA8282", +"& c #AE9292", +"* c #BEBDBD", +"********************************", +"*****&%%%%%%%%%%%%%%%%%%%%%*****", +"*****#+++++++++++++++++++++*****", +"*****#+##################@+*****", +"*****#+******************#+*****", +"*****#+**++**********&+**#+*****", +"*****#+**++*********$++**#+*****", +"*****#+**++********$++***#+*****", +"*****#+**++*******$++****#+*****", +"*****#+**++******$++*****#+*****", +"*****#+**++*****%++******#+*****", +"*****#+**++++++++++++++**#+*****", +"*****#+**++++++++++++++**#+*****", +"*****#+**++**%++*********#+*****", +"*****#+**++*%++**********#+*****", +"*****#+**++$++******&****#+*****", +"*****#+**++++************#+*****", +"*****#+**+++********&****#+*****", +"*****#+*$++***&**********#+*****", +"*&***#+*@+***************#+*****", +"*****#+****************&*#+*****", +"*****$+%%%%%%%%%%%%%%%%%%@+*****", +"*****$@++++++++++++++++++++*****", +"*****%#####################*****", +"********************************", +"*******..***..************.*****", +"******.*.***.*************.*****", +"******.*.***....*...*.......****", +"*****....***..*...*.**..*..*****", +"*****.**.**..*.*.**.*..**.******", +"****..**..*...**...**.***..*****", +"********************************"}; diff --git a/images/abort.xcf b/images/abort.xcf Binary files differnew file mode 100644 index 00000000..b69d6b15 --- /dev/null +++ b/images/abort.xcf diff --git a/images/abort.xpm b/images/abort.xpm new file mode 100644 index 00000000..37e86f75 --- /dev/null +++ b/images/abort.xpm @@ -0,0 +1,71 @@ +/* XPM */ +static char * abort_xpm[] = { +"32 32 36 1", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #8D2121", +"& c #BBBABA", +"* c #AE9090", +"= c #860C0C", +"- c #BBB9B9", +"; c #BCBBBB", +"> c #A46F6F", +", c #A16464", +"' c #BAB6B6", +") c #994848", +"! c #BBB8B8", +"~ c #9A4A4A", +"{ c #870E0E", +"] c #9A4C4C", +"^ c #902C2C", +"/ c #9B5050", +"( c #891212", +"_ c #9C5454", +": c #8A1616", +"< c #AB8282", +"[ c #933434", +"} c #9E5858", +"| c #8B1A1A", +"1 c #881212", +"2 c #A87B7B", +"3 c #9C5252", +"4 c #9A4B4B", +"5 c #994949", +"6 c #BBBBBB", +"7 c #000000", +"................................", +".....+@@@@@@@@@@@@@@@@@@@@@.....", +".....#$$$$$$$$$$$$$$$$$$$$$.....", +".....#$##################%$.....", +".....#$..................#$.....", +".....#$..$$........&&*=..#$.....", +".....#$..$$.......-;>==..#$.....", +".....#$..$$......&;,==...#$.....", +".....#$..$$....;'&,==....#$.....", +".....#$..$$...;;.>==.....#$.....", +".....#$..=$...;.*==......#$.....", +".....#$..$$$$$$===$$$$$..#$.....", +".....#$..$$$$$==$$$$$$$..#$.....", +".....#$..$$.;*==.;.;;....#$.....", +".....#$..$$-*==.&;;;;....#$.....", +".....#$..$=>==..;;;.&....#$.....", +".....#$..$===;;;.;&;;;...#$.....", +".....)$..$$=!;;;;;;;!....#$.....", +".....~{.>==;.;..;;;;;;;..#$.....", +".....]{.^=...............#$.....", +"...../(..................#$.....", +"....._:<@@@@@@@@@@@@@@@@@[$.....", +".....}|1$$$$$$$$$$$$$$$$$$$.....", +".....2345##################.....", +"................................", +".66666.77...77............7...6.", +".6..667.7...7...6666.66..67666..", +"......7.766.777767776777777766..", +"...6677776..776777.7.677677.6...", +".....76676.77.7.7..7.77667...6..", +"6...776677.77766777..76.677...6.", +"................................"}; diff --git a/images/blank.xcf b/images/blank.xcf Binary files differnew file mode 100644 index 00000000..950652e5 --- /dev/null +++ b/images/blank.xcf diff --git a/images/command.8bit.xpm b/images/command.8bit.xpm new file mode 100644 index 00000000..a5dbc8aa --- /dev/null +++ b/images/command.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * command_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #211D1A", +"+ c #735D55", +"@ c #A4857C", +"# c #C89870", +"$ c #860E0C", +"% c #BDBDBB", +"& c #3E3936", +"* c #86433D", +"%#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%", +"%*$$$$$$$$$$$$$$$$$$$$$$$$$$$$$%", +"%*$**************************$$%", +"%*$%%%%%%%%%%%%%%%%%%%%%%%%%%*$%", +"%*$%%%%%%%%%%%%%%%%%%%%%%%%%%*$%", +"%*$%%%%%%%#@@@+#@#@#@@#@@####**%", +"%**@%%%##@#####################+", +"%@@#%+@###########@*.*$.&**&**&+", +"%@@@%##############@@@*@@@@%#*$%", +"%@@%%*######*****@####+%%%%%%*$%", +"%@+%%&*###@**@##*#@##*%%%%%%%*$%", +"%@+%%...$...$#@######*%%%%%%%*$%", +"%@+%%@&....*##$$.$$..&%%%%%%%*$%", +"%@+@%+##&...*##@++*.#%%%%%%%%*$%", +"%@@&%@###*.@+.**+*&.%%%%%%%%%*$%", +"%@@&%*@###.**@&...&@%%%%%%%%%*$%", +"%++.&@%#@++++.&*&@%%%%%%%%%%%*$%", +"%...#%%%%%%%%%@+@%%%%%%%%%%%%*$%", +"%*$%%%%%%%%%%%%%%%%%%%%%%%%%%*$%", +"%*$%%%%%%%%%%%%%%%%%%%%%%%%%%*$%", +"%*$@@@@@@@@@@@@@@@@@@@@@@@@@@*$%", +"%*$$$$$$$$$$$$$$$$$$$$$$$$$$$$$%", +"%+*****************************%", +"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@", +"%#.&*%%%%%%%%%%%%%%%%%%%%%%%%%#&", +"%&@%@#++@&@+#+@&@+#+%@*&#+@+%@&&", +"%&%%%&%&@.+.&&%.+.&&%&@&#&+.@.@+", +"+&%%@&%+@.+.%&%.+.%&++++@&%&+@++", +"%.%%@.%&+&@+%&+&@&@+&&&+@+@&&+&@", +"%+&+%+&@%+@+@+@+@@@+++++@@@++&@+", +"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%", +"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%"}; diff --git a/images/command.xcf b/images/command.xcf Binary files differnew file mode 100644 index 00000000..40548654 --- /dev/null +++ b/images/command.xcf diff --git a/images/command.xpm b/images/command.xpm new file mode 100644 index 00000000..f9e2e4ce --- /dev/null +++ b/images/command.xpm @@ -0,0 +1,336 @@ +/* XPM */ +static char * command_xpm[] = { +"32 32 301 2", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #994848", +"& c #8D2121", +"* c #B1B1B1", +"= c #A0948A", +"- c #AE8C70", +"; c #9F724E", +"> c #8D6342", +", c #976D4C", +"' c #B18460", +") c #AC8361", +"! c #B88C69", +"~ c #AA8566", +"{ c #AA8568", +"] c #A28166", +"^ c #A8886E", +"/ c #A98D75", +"( c #B2957F", +"_ c #B39781", +": c #AE9784", +"< c #9E5A4A", +"[ c #9C3728", +"} c #BBB7B4", +"| c #43353E", +"1 c #624D5E", +"2 c #777783", +"3 c #B4B4B4", +"4 c #BBBBBB", +"5 c #ABA49E", +"6 c #AC8E76", +"7 c #BB865C", +"8 c #D99966", +"9 c #C78C5D", +"0 c #C78B5D", +"a c #CF905F", +"b c #C98A5B", +"c c #CC905F", +"d c #D89764", +"e c #D89865", +"f c #D99865", +"g c #916546", +"h c #8989A8", +"i c #8B8B93", +"j c #FFFFFF", +"k c #75665A", +"l c #B98963", +"m c #D79865", +"n c #D39563", +"o c #C2895B", +"p c #63452E", +"q c #322115", +"r c #523621", +"s c #4F321F", +"t c #25170E", +"u c #392517", +"v c #6F4A2F", +"w c #6B472D", +"x c #3E2818", +"y c #5E3C25", +"z c #5D3C25", +"A c #4F301E", +"B c #504C49", +"C c #8A86A3", +"D c #8888A7", +"E c #8C8C8E", +"F c #936E51", +"G c #D89663", +"H c #B58055", +"I c #B98357", +"J c #AA7850", +"K c #6D4B31", +"L c #828282", +"M c #969696", +"N c #B5B5B5", +"O c #ADADAD", +"P c #833D3D", +"Q c #810C0C", +"R c #8A85A2", +"S c #777792", +"T c #959595", +"U c #865B3C", +"V c #CB8A5A", +"W c #925C38", +"X c #865534", +"Y c #674228", +"Z c #8E5C3A", +"` c #96643F", +" . c #C18152", +".. c #D48F5C", +"+. c #D6925F", +"@. c #D69360", +"#. c #D08D5B", +"$. c #91725C", +"%. c #66667E", +"&. c #9A9A9A", +"*. c #171412", +"=. c #7A4F30", +"-. c #CF8A58", +";. c #D5915E", +">. c #CF8C5A", +",. c #C27D4D", +"'. c #72482B", +"). c #4F3522", +"!. c #A4734D", +"~. c #B88256", +"{. c #956946", +"]. c #A2724C", +"^. c #B78055", +"/. c #D69562", +"(. c #CC8553", +"_. c #7E695B", +":. c #696981", +"<. c #1C1C1C", +"[. c #000000", +"}. c #150D08", +"|. c #372315", +"1. c #0C0704", +"2. c #060403", +"3. c #5A3B25", +"4. c #D79663", +"5. c #B97B4E", +"6. c #D69461", +"7. c #CE8451", +"8. c #67422A", +"9. c #BABABA", +"0. c #8B819C", +"a. c #6F6F88", +"b. c #8A8A8A", +"c. c #6A513F", +"d. c #5E3C24", +"e. c #20140C", +"f. c #7F5A3C", +"g. c #D09362", +"h. c #C18659", +"i. c #362518", +"j. c #4A2E1C", +"k. c #382315", +"l. c #432A19", +"m. c #352114", +"n. c #140D08", +"o. c #424242", +"p. c #74748E", +"q. c #676767", +"r. c #DADADA", +"s. c #A27C5F", +"t. c #D28D5B", +"u. c #845433", +"v. c #0A0604", +"w. c #302217", +"x. c #795235", +"y. c #CE8B59", +"z. c #AC7A51", +"A. c #996C48", +"B. c #825C3D", +"C. c #66452C", +"D. c #342C27", +"E. c #A6A6A6", +"F. c #81819E", +"G. c #4F4F4F", +"H. c #97765B", +"I. c #99603A", +"J. c #18110B", +"K. c #C68C5D", +"L. c #885F3F", +"M. c #2C1D12", +"N. c #6F452A", +"O. c #835332", +"P. c #744A2E", +"Q. c #71482C", +"R. c #654027", +"S. c #231F1C", +"T. c #8B809B", +"U. c #383839", +"V. c #6B5A4F", +"W. c #BA8863", +"X. c #D18D5B", +"Y. c #D5925F", +"Z. c #CE8350", +"`. c #362214", +" + c #5F3D26", +".+ c #805435", +"++ c #C08456", +"@+ c #513926", +"#+ c #030201", +"$+ c #0C0805", +"%+ c #1B1B1B", +"&+ c #484848", +"*+ c #888888", +"=+ c #6C6072", +"-+ c #57576B", +";+ c #1C1C1F", +">+ c #363636", +",+ c #777777", +"'+ c #A4A09E", +")+ c #99887C", +"!+ c #947B6A", +"~+ c #685F58", +"{+ c #555555", +"]+ c #211D19", +"^+ c #4E3421", +"/+ c #794D2F", +"(+ c #6F462A", +"_+ c #808080", +":+ c #1C0E0E", +"<+ c #030304", +"[+ c #19191C", +"}+ c #AFAFAF", +"|+ c #919191", +"1+ c #747474", +"2+ c #858585", +"3+ c #AB8383", +"4+ c #AB8484", +"5+ c #933434", +"6+ c #A56E6E", +"7+ c #999999", +"8+ c #292929", +"9+ c #3E3E3E", +"0+ c #494949", +"a+ c #AAAAAA", +"b+ c #A2A2A2", +"c+ c #323232", +"d+ c #373737", +"e+ c #8E8E8E", +"f+ c #A7A7A7", +"g+ c #535353", +"h+ c #616161", +"i+ c #939393", +"j+ c #474747", +"k+ c #585858", +"l+ c #9D9D9D", +"m+ c #8F8F8F", +"n+ c #4C4C4C", +"o+ c #7E7E7E", +"p+ c #575757", +"q+ c #989898", +"r+ c #6A6A6A", +"s+ c #3F3F3F", +"t+ c #909090", +"u+ c #5C5C5C", +"v+ c #949494", +"w+ c #383838", +"x+ c #A4A4A4", +"y+ c #8D8D8D", +"z+ c #1D1D1D", +"A+ c #606060", +"B+ c #121212", +"C+ c #343434", +"D+ c #232323", +"E+ c #5E5E5E", +"F+ c #0D0D0D", +"G+ c #353535", +"H+ c #454545", +"I+ c #666666", +"J+ c #8B8B8B", +"K+ c #2D2D2D", +"L+ c #686868", +"M+ c #7D7D7D", +"N+ c #414141", +"O+ c #B8B8B8", +"P+ c #0C0C0C", +"Q+ c #282828", +"R+ c #464646", +"S+ c #B0B0B0", +"T+ c #141414", +"U+ c #737373", +"V+ c #4D4D4D", +"W+ c #6B6B6B", +"X+ c #5A5A5A", +"Y+ c #4E4E4E", +"Z+ c #979797", +"`+ c #A1A1A1", +" @ c #6E6E6E", +".@ c #7B7B7B", +"+@ c #656565", +"@@ c #2B2B2B", +"#@ c #A8A8A8", +"$@ c #303030", +"%@ c #9F9F9F", +"&@ c #505050", +"*@ c #818181", +"=@ c #333333", +"-@ c #3C3C3C", +";@ c #757575", +">@ c #646464", +",@ c #515151", +"'@ c #3A3A3A", +")@ c #767676", +"!@ c #444444", +"~@ c #717171", +"{@ c #7A7A7A", +"]@ c #898989", +"^@ c #838383", +"/@ c #565656", +"(@ c #6C6C6C", +"_@ c #545454", +":@ c #787878", +". + @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". # $ # # % % % % % % % # # # # % % % % # # # # # # # # # & $ . ", +". # $ . . . . . . . . . . . . . . . . . . . . . . . . . . # $ . ", +". # $ . . . . . . . . . . . . . . . . . . . . . . . . . . # $ . ", +". % $ . . . . . . * = - ; > , ' ) ! ~ { { { { ] ^ / ( _ : < [ } ", +". | 1 2 . 3 4 5 6 7 8 8 8 8 8 9 0 a b c 8 8 8 d e 8 8 8 8 8 f g ", +". h h i j k l m 8 8 8 8 8 8 8 8 8 n o p q r s t u v w x y z A B ", +". C D E j F 8 8 8 8 8 G 8 d f 8 8 8 8 H I J K L M M M N O P Q . ", +". R S T j U e 8 8 8 8 V W X Y Z ` ...+.@.#.$.4 . . . . . # $ . ", +". R %.&.j *.=.-.;.>.,.'.).!.n ~.{.].^./.(._.. . . . . . . # $ . ", +". R :.&.j <.[.}.|.1.[.2.3.4.5.+.d d 6...7.8.9.. . . . . . # $ . ", +". 0.a.b.j c.d.e.[.[.[.f.g.h.i.j.|.k.l.m.n.o.. . . . . . . # $ . ", +". 0.p.q.r.s.e t.u.v.[.w.x.y.a z.A.B.C.D.E.. . . . . . . . # $ . ", +". 0.F.G.N H.8 8 6.I.J.K.L.M.N.O.P.Q.R.S.. . . . . . . . . # $ . ", +". T.h U.3 V.W.X.Y.Z.`. +.+++@+#+$+%+&+*+. . . . . . . . . # $ . ", +". =+-+;+>+,+4 '+)+!+~+G.{+]+^+/+(+_+. . . . . . . . . . . # $ . ", +". :+<+[+}+. . . . . . . . 4 |+1+2+. . . . . . . . . . . . # $ . ", +". # $ . . . . . . . . . . . . . . . . . . . . . . . . . . # $ . ", +". # $ . . . . . . . . . . . . . . . . . . . . . . . . . . # $ . ", +". # $ @ @ @ @ 3+4+4+4+4+4+@ @ @ 4+4+4+4+4+@ @ @ @ @ @ @ @ 5+$ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". 6+# # # # # # # # # # # # # # # # # # # # # # # # # # # # # . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . }+2+", +". 7+8+9+0+a+. . . . . . . . . . . . . . . . . . . . . . . . b+c+", +". d+e+4 f+f+g+h+i+j+_+k+l+q.m+n+o+p+q+r+3 T &+s+l+k+t+u+N v+w+d+", +"f+c+}+. 3 s+x+9+y+z+A+B+G.C+x+D+E+F+n+G+O G+t+H+l+s+I+D+J+K+T L+", +"M+N+. . T H+O+g+i+P+1+Q+f+R+S+T+U+D+l+V+W+X+E+Y+Z+d+`+G+ @.@+@h+", +"f+@@#@4 _+$@%@s+M+w+2+&@x+H+*@N+M+&@7+Y+0+=@-@;@y+>@_+H+j+,@'@.@", +". )@s+W+f+u+!@x+y+~@e+2+*+g+{@)@*+]@^@{+.@/@(@+@y+]@*@/@(@_@:@)@", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "}; diff --git a/images/context.8bit.xpm b/images/context.8bit.xpm new file mode 100644 index 00000000..dc67bc64 --- /dev/null +++ b/images/context.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * context_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #09090A", +"+ c #856F70", +"@ c #958987", +"# c #2E2E2F", +"$ c #FEFEFC", +"% c #860E0C", +"& c #BCBCBA", +"* c #7B403E", +"&@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@&", +"&*%%%%%%%%%%%%%%%%%%%%%%%%%%%%%&", +"&*%**************************%%&", +"&*%&&&&&&&&&&&&&&&&&&&&&&&&&&*%&", +"&*%&&&&&&@@@&&&&&&&@@@&&&&&&&*%&", +"&*%&&&&++@@@+&&&&@+@@@@&&&&&&*%&", +"&*%&&&+@+*....@&+@+#...*@&&&&*%&", +"&+%&&@++.#+@@+.#@*.*+@@*.@&&&*%&", +"&*%&&@@.+&$$$&&#..&$$$&&&.@&&*%&", +"&+%&&@*#&$$$#.&@.#$$$&##&**&&*%&", +"&*%&&@##$$$&#.+$.@$$$@..&@.&&*%&", +"&+%&&@##$$$$&+$$.@$$$$@&$&.&&*%&", +"&*%&&+##$$$$$$$$.@$$$$$$$@.&&*%&", +"&+%&&@##$$$$$$$$.@$$$$$$$@.&&*%&", +"&*%&&&*#$$$$$$$&.+$$$$$$$+.&&+%&", +"&+%&&&&.+$$$$$$#..&$$$$$&.@&&*%&", +"&*%&&&&+##&$&&##@##@$$&@#*&&&*%&", +"&*%&&&&&@#....*@&&*....#*&&&&*%&", +"&*%&&&&&&&@@@@&&&&&&+@@@&&&&&*%&", +"&*%&&&&&&&&&&&&&&&&&&&&&&&&&&*%&", +"&*%@@@@@@@@@@@@@@@@@@@@@@@@@@*%&", +"&*%%%%%%%%%%%%%%%%%%%%%%%%%%%%%&", +"&@*****************************&", +"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&", +"&&+.*#@&&&&&&&&&&&@&&&&&&&&&&&@&", +"&*#&&&@&+*&@*&+*&##+&@*+&*@+++.#", +"@.@&&&&.@+.&.*+.&#*&@*@.&+##++.&", +"@.&&&&+#&@.@.++#&#@&.#*@&@.+&+#&", +"@.+&&@##&.@@#&#+&.+&.+&+@#++&#*&", +"&@##+&&##@&++&*#&+#&+#+@++&#@@#@", +"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&", +"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&"}; diff --git a/images/context.xcf b/images/context.xcf Binary files differnew file mode 100644 index 00000000..fc9ad9d9 --- /dev/null +++ b/images/context.xcf diff --git a/images/context.xpm b/images/context.xpm new file mode 100644 index 00000000..f39fc805 --- /dev/null +++ b/images/context.xpm @@ -0,0 +1,180 @@ +/* XPM */ +static char * context_xpm[] = { +"32 32 145 2", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #994848", +"& c #8D2121", +"* c #A2A2A2", +"= c #919191", +"- c #959595", +"; c #AFAFAF", +"> c #B3B3B3", +", c #7A7A7A", +"' c #787878", +") c #7F7F7F", +"! c #7C7C7C", +"~ c #797979", +"{ c #A3A3A3", +"] c #878787", +"^ c #777777", +"/ c #808080", +"( c #870F0F", +"_ c #6D6D6D", +": c #4F4F4F", +"< c #0A0A0A", +"[ c #141414", +"} c #8E8E8E", +"| c #AEAEAE", +"1 c #818181", +"2 c #7E7E7E", +"3 c #616161", +"4 c #2F2F2F", +"5 c #090909", +"6 c #454545", +"7 c #994949", +"8 c #891313", +"9 c #181818", +"0 c #7D7D7D", +"a c #8D8D8D", +"b c #888888", +"c c #757575", +"d c #010101", +"e c #383838", +"f c #525252", +"g c #030303", +"h c #464646", +"i c #050505", +"j c #994A4A", +"k c #8A1818", +"l c #7B7B7B", +"m c #121212", +"n c #6E6E6E", +"o c #D3D3D3", +"p c #FBFBFB", +"q c #FDFDFD", +"r c #E1E1E1", +"s c #C4C4C4", +"t c #3D3D3D", +"u c #0D0D0D", +"v c #BABABA", +"w c #E6E6E6", +"x c #CECECE", +"y c #B8B8B8", +"z c #080808", +"A c #9A4C4C", +"B c #8B1C1C", +"C c #555555", +"D c #222222", +"E c #B9B9B9", +"F c #FCFCFC", +"G c #FEFEFE", +"H c #EBEBEB", +"I c #3A3A3A", +"J c #070707", +"K c #999999", +"L c #9B9B9B", +"M c #000000", +"N c #494949", +"O c #FFFFFF", +"P c #B2B2B2", +"Q c #131313", +"R c #2D2D2D", +"S c #C5C5C5", +"T c #3C3C3C", +"U c #9B4E4E", +"V c #303030", +"W c #393939", +"X c #F2F2F2", +"Y c #E4E4E4", +"Z c #171717", +"` c #939393", +" . c #C7C7C7", +".. c #8C1E1E", +"+. c #3F3F3F", +"@. c #BDBDBD", +"#. c #868686", +"$. c #F4F4F4", +"%. c #9F9F9F", +"&. c #F6F6F6", +"*. c #949494", +"=. c #FAFAFA", +"-. c #994B4B", +";. c #8B1B1B", +">. c #F7F7F7", +",. c #F3F3F3", +"'. c #891414", +"). c #B0B0B0", +"!. c #4B4B4B", +"~. c #323232", +"{. c #E3E3E3", +"]. c #D5D5D5", +"^. c #F8F8F8", +"/. c #0E0E0E", +"(. c #881010", +"_. c #0C0C0C", +":. c #F0F0F0", +"<. c #E8E8E8", +"[. c #444444", +"}. c #828282", +"|. c #707070", +"1. c #232323", +"2. c #545454", +"3. c #E2E2E2", +"4. c #CBCBCB", +"5. c #373737", +"6. c #1A1A1A", +"7. c #3E3E3E", +"8. c #343434", +"9. c #8F8F8F", +"0. c #D9D9D9", +"a. c #ECECEC", +"b. c #870E0E", +"c. c #4A4A4A", +"d. c #515151", +"e. c #202020", +"f. c #8A8A8A", +"g. c #AB8383", +"h. c #AB8484", +"i. c #933434", +"j. c #A56E6E", +"k. c #151515", +"l. c #2A2A2A", +"m. c #A7A7A7", +"n. c #696969", +". + @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". # $ # # % % % % % % % # # # # % % % % # # # # # # # # # & $ . ", +". # $ . . . . . . . . . . . . . . . . . . . . . . . . . . # $ . ", +". # $ . . . . . * = = - . . . . . . ; = = = > . . . . . . # $ . ", +". % $ . . . . , ' ) ) ! ~ { . . . ] ^ / / / ~ . . . . . . # $ . ", +". % ( . . ; ' ) _ : < < < [ } | 1 2 3 4 5 5 5 6 = . . . . # $ . ", +". 7 8 . . } ) _ 9 9 0 a b c d e / f g h 1 = 1 h i ~ . . . # $ . ", +". j k . . l ) m n o p q r s s t u i v w p p x s y z b . . # $ . ", +". A B . . ) C D E F G H I J K L M N H O O P Q R S N T . . # $ . ", +". U B . . ) V W X G G Y Z g ' H M a q O O ` J m .a M . . # $ . ", +". U ... . ) V +.G G G F @.#.$.O M %.O O O &.*.; =.%.d . . # $ . ", +". -.... . , V +.G G G G G G G O M %.O O O O O G G %.M . . # $ . ", +". -.;.. . } V T >.G G G G G G ,.M - q O O O O G q - d . . # $ . ", +". 7 '.. . ).!.~.{.G G G G G q ].M , ^.O O O O G ^., /.. . # $ . ", +". 7 (.. . . . _.l :.G G G G <.[.M M o ^.O O O ^.o d }.. . # $ . ", +". % ( . . . . |.1.2.].<.3.4.5.6.} 7.8.9.0.a.0.9.8.7.| . . # $ . ", +". % b.. . . . . ! T d d d i c.K . . d.e.M M M e.d.. . . . # $ . ", +". # $ . . . . . . P ] ] ] f.. . . . . %.] ] ] %.. . . . . # $ . ", +". # $ . . . . . . . . . . . . . . . . . . . . . . . . . . # $ . ", +". # $ @ @ @ @ g.h.h.h.h.h.@ @ @ h.h.h.h.h.@ @ @ @ @ @ @ @ i.$ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". j.# # # # # # # # # # # # # # # # # # # # # # # # # # # # # . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ", +". . 2.k.+.l.0 . . . . . . . . . . m.0 . . . . . . . . . . . 0 m.", +". +.l.. . m.m.m.2.+.` ` +.` n.2.. l.k.n.. ` +.n.. 2.0 n.n.n.M +.", +"m.M ` . . . m.k.m.n.M . M 2.2.M . +.2.. 0 +.0 k.. n.l.l.0 0 k.. ", +"0 M . . . . 2.+.. 0 k.m.M 0 n.+.. l.0 . k.l.+.` . m.M n.. n.+.. ", +"m.M 0 . . m.+.l.m.k.0 0 l.. +.2.. M 0 . M n.. n.` +.n.n.. +.+.. ", +". ` +.+.n.m.m.+.+.` . 0 n.. 2.+.. 2.+.. 0 +.2.` n.n.. +.` 0 +.` ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "}; diff --git a/images/coq-badge.xcf b/images/coq-badge.xcf Binary files differnew file mode 100644 index 00000000..98ba6ded --- /dev/null +++ b/images/coq-badge.xcf diff --git a/images/find.8bit.xpm b/images/find.8bit.xpm new file mode 100644 index 00000000..5e4ce58e --- /dev/null +++ b/images/find.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * find_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #1B1C1D", +"+ c #8A4948", +"@ c #8C7E81", +"# c #BABEBD", +"$ c #EBFEFC", +"% c #373132", +"& c #D4F4FA", +"* c #761917", +"#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@#", +"#+*****************************#", +"#+*+++++++++++++++*+%#@#@++++**#", +"#+*###############@##&#&&@+##+*#", +"#+*################&#&&#&$###+*#", +"#+*############%#&&&&&&&&$&##+*#", +"#+*###########@%#&#&&&&&$$$#++*#", +"#+*###########%@&&&&&$$$$$&$#+*#", +"#+*###########.&&&&&&$$$$$$&@+*#", +"#+*###########@&&&&$$$$$$$$@++*#", +"#+*###########%&&&&$$$$$$$$%%+*#", +"#+*########@@#@&&$$$$$$$$&&@.+*#", +"#+*######+..@#&@@&&$$$$$&##%@+*#", +"#+*###@+%.%.@&&#@#&$$&#@.#&.@+*#", +"#+*###*%...%.%###@@@&%@@@@#@#+*#", +"#+*#@+..%%%%%@###@.%@@%@%%@##+*#", +"#+*%%%%%%%%@##########@######+*#", +"#+*%%%@#@@###################+*#", +"#+*%@#&######################+*#", +"#+*##########################+*#", +"#+*@@@@@@@@@@@@@@@@@@@@@@@@@@**#", +"#+*****************************#", +"#++++++++++++++++++++++++++++++#", +"################################", +"#############@@########@@@######", +"########+.+%++@#########*@######", +"########@.##@+@@%@+@##+%.#######", +"########+.%+#.#@.@%*#.@@*#######", +"########%+##@.#+.@%@@%#.+#######", +"########.@##+%#%@#.@%%+.@#######", +"#######+%%##@%#+@#%@@%#%@#######", +"################################"}; diff --git a/images/find.xcf b/images/find.xcf Binary files differnew file mode 100644 index 00000000..1c5fbe92 --- /dev/null +++ b/images/find.xcf diff --git a/images/find.xpm b/images/find.xpm new file mode 100644 index 00000000..814864fc --- /dev/null +++ b/images/find.xpm @@ -0,0 +1,259 @@ +/* XPM */ +static char * find_xpm[] = { +"32 32 224 2", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #7B0C0C", +"& c #6A0D0E", +"* c #850D0D", +"= c #470707", +"- c #812125", +"; c #994848", +"> c #4A2323", +", c #3F414B", +"' c #375F74", +") c #8BAABF", +"! c #647F8C", +"~ c #68B3D9", +"{ c #7592AD", +"] c #846571", +"^ c #8D2121", +"/ c #B8BCBD", +"( c #ABBAC2", +"_ c #5994B2", +": c #92C5D9", +"< c #6EB7DB", +"[ c #C4E8F3", +"} c #A2D5E9", +"| c #B3E0F0", +"1 c #B7E3F1", +"2 c #668A99", +"3 c #565656", +"4 c #B1C5CF", +"5 c #75BADC", +"6 c #82C4E1", +"7 c #CAF1F8", +"8 c #B2E5F2", +"9 c #C2EDF6", +"0 c #B3E5F2", +"a c #B5E7F3", +"b c #C8F0F8", +"c c #E3FEFF", +"d c #86BCD4", +"e c #B0BBC0", +"f c #3B3B3B", +"g c #A4C4D3", +"h c #E2FAFC", +"i c #B6E6F2", +"j c #BCEAF5", +"k c #CCF2F9", +"l c #D0F4FA", +"m c #CDF3F9", +"n c #DEFBFD", +"o c #D2F5FA", +"p c #E5FFFF", +"q c #CBEEF5", +"r c #C7D1D1", +"s c #B5B5B5", +"t c #870F0F", +"u c #818181", +"v c #2F393C", +"w c #97D1E8", +"x c #B4E6F3", +"y c #E4FEFF", +"z c #E4FFFF", +"A c #E8FFFF", +"B c #F3FFFF", +"C c #F0FFFF", +"D c #E6FFFF", +"E c #A5B8B8", +"F c #464646", +"G c #994949", +"H c #891313", +"I c #3C3C3C", +"J c #8C9C9C", +"K c #C9F1F8", +"L c #D7F8FB", +"M c #EBFFFF", +"N c #F4FFFF", +"O c #FFFFFF", +"P c #E7FFFF", +"Q c #C1C8C8", +"R c #994A4A", +"S c #8A1818", +"T c #ADADAD", +"U c #0A0B0B", +"V c #DFF9F9", +"W c #C0ECF6", +"X c #DDFBFD", +"Y c #F5FFFF", +"Z c #F6FFFF", +"` c #CFEBEE", +" . c #7AA1B4", +".. c #9A4C4C", +"+. c #8B1C1C", +"@. c #91ADBB", +"#. c #BBE5F2", +"$. c #ECFFFF", +"%. c #6F7C7C", +"&. c #61686B", +"*. c #9B4E4E", +"=. c #3B474D", +"-. c #B2D1D8", +";. c #EFFFFF", +">. c #F9FFFF", +",. c #FAFFFF", +"'. c #212728", +"). c #2E2E2E", +"!. c #8C4141", +"~. c #8C1E1E", +"{. c #878787", +"]. c #7D7D7D", +"^. c #BABCBD", +"/. c #909698", +"(. c #CEF0F4", +"_. c #C3E5EC", +":. c #4C7385", +"<. c #212121", +"[. c #994B4B", +"}. c #6F6F6F", +"|. c #2A2A2A", +"1. c #282828", +"2. c #6A7D87", +"3. c #8CB7CD", +"4. c #B5D6E5", +"5. c #8A9EA4", +"6. c #5D6868", +"7. c #E2FCFC", +"8. c #A7CDDA", +"9. c #BADDE9", +"0. c #3A4E56", +"a. c #666666", +"b. c #8B1B1B", +"c. c #949494", +"d. c #6C6C6C", +"e. c #292929", +"f. c #171717", +"g. c #141617", +"h. c #5A8DA7", +"i. c #EFF7FB", +"j. c #D4D8DB", +"k. c #C7C7C7", +"l. c #7396A6", +"m. c #99BFCC", +"n. c #D1EEF1", +"o. c #E1FBFB", +"p. c #B4C8C8", +"q. c #7E9092", +"r. c #1C262B", +"s. c #70A1B8", +"t. c #E1ECF0", +"u. c #070707", +"v. c #AAAAAA", +"w. c #891414", +"x. c #3A3A3A", +"y. c #232323", +"z. c #161616", +"A. c #1B1B1B", +"B. c #202020", +"C. c #313131", +"D. c #4C4C4C", +"E. c #A5AFB5", +"F. c #7A97A6", +"G. c #47778F", +"H. c #7AA5B8", +"I. c #B2D4DD", +"J. c #3E4545", +"K. c #475F6A", +"L. c #486C7E", +"M. c #6091A8", +"N. c #597F91", +"O. c #99B3BD", +"P. c #A1A1A1", +"Q. c #881010", +"R. c #A6A6A6", +"S. c #8C8C8C", +"T. c #4F4F4F", +"U. c #2F2F2F", +"V. c #050505", +"W. c #3E3E3E", +"X. c #272727", +"Y. c #8E8E8E", +"Z. c #000001", +"`. c #394D56", +" + c #6E93A6", +".+ c #537C90", +"++ c #334B56", +"@+ c #749EB3", +"#+ c #1B292F", +"$+ c #4F5456", +"%+ c #370606", +"&+ c #454545", +"*+ c #333333", +"=+ c #383838", +"-+ c #3D3D3D", +";+ c #323232", +">+ c #2C2C2C", +",+ c #6A6A6A", +"'+ c #AEAEAE", +")+ c #9C9C9C", +"!+ c #A6AAAC", +"~+ c #999999", +"{+ c #520B0B", +"]+ c #252525", +"^+ c #3F3F3F", +"/+ c #C5C5C5", +"(+ c #707070", +"_+ c #868686", +":+ c #ABABAB", +"<+ c #6D0A0A", +"[+ c #7F7F7F", +"}+ c #E7E7E7", +"|+ c #BFBFBF", +"1+ c #C8C8C8", +"2+ c #AB8383", +"3+ c #AB8484", +"4+ c #933434", +"5+ c #A56E6E", +"6+ c #939393", +"7+ c #A7A7A7", +"8+ c #696969", +"9+ c #000000", +"0+ c #545454", +"a+ c #151515", +". + @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ % & * = - $ $ $ $ $ $ $ . ", +". # $ # # ; ; ; ; ; ; ; # # # # ; ; > , ' ) ! ~ { ] # # # ^ $ . ", +". # $ . . . . . . . . . . . . . / ( _ : < [ } | 1 2 3 . . # $ . ", +". # $ . . . . . . . . . . . . . 4 5 6 7 8 9 0 a b c d e . # $ . ", +". ; $ . . . . . . . . . . . . f g h i j k l m n o p q r s # $ . ", +". ; t . . . . . . . . . . . u v w 0 x y z p A B C D p E F # $ . ", +". G H . . . . . . . . . . . I J K b L p M N O O O P p p Q # $ . ", +". R S . . . . . . . . . . T U V W X p p Y O O O Z p p ` .# $ . ", +". ..+.. . . . . . . . . . . @.#.p p p P O O O O $.p p %.&.# $ . ", +". *.+.. . . . . . . . . . . =.-.p p p p ;.>.,.C p p p '.).!.$ . ", +". *.~.. . . . . . . T {.].^./.(.p p p p p p P p p p _.:.<.# $ . ", +". [.~.. . . . . . }.|.1.2.3.4.5.6.p p p p p p p 7.8.9.0.a.# $ . ", +". [.b.. . . c.d.e.f.|.g.h.i.j.k.l.m.n.p p o.p.q.r.s.t.u.v.# $ . ", +". G w.. . . x.y.z.A.B.C.1.D.. . E.F.G.H.I.J.K.L.M.N.O.P.. # $ . ", +". G Q.R.S.T.U.V.e.I W.y.X.].. . . Y.Z.`. +.+++@+#+$+c.. . # $ . ", +". ; %+&+*+=+f -+;+).>+,+. . . . . . '+)+. !+u . ~+. . . . # $ . ", +". ; {+]+^+^+a./+(+_+:+. . . . . . . . . . . . . . . . . . # $ . ", +". # <+&+[+s }+k.. . . . . . . . . . . . . . . . . . . . . # $ . ", +". # $ . |+1+. . . . . . . . . . . . . . . . . . . . . . . # $ . ", +". # $ @ @ @ @ 2+3+3+3+3+3+@ @ @ 3+3+3+3+3+@ @ @ @ @ @ @ @ 4+$ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". 5+# # # # # # # # # # # # # # # # # # # # # # # # # # # # # . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ", +". . . . . . . . . . . . . 6+6+. . . . . . . . 7+].7+. . . . . . ", +". . . . . . . . 8+9+^+^+0+8+].. . . . . . . . 7+9+6+. . . . . . ", +". . . . . . . . 6+9+. . 6+^+6+8+^+7+0+].. 7+0+^+9+. . . . . . . ", +". . . . . . . . 8+a+^+0+. 9+. ].a+8+|.^+. a+7+].^+. . . . . . . ", +". . . . . . . . ^+0+7+7+].a+. 8+a+7+|.].].^+. a+0+. . . . . . . ", +". . . . . . . . a+].. . 8+^+. ^+8+. 9+6+^+|.0+|.].. . . . . . . ", +". . . . . . . 8+^+0+. . 8+^+. 0+6+7+^+8+].^+7+^+8+. . . . . . . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "}; diff --git a/images/fireworks.xcf b/images/fireworks.xcf Binary files differnew file mode 100644 index 00000000..81a40470 --- /dev/null +++ b/images/fireworks.xcf diff --git a/images/gimp/.cvsignore b/images/gimp/.cvsignore new file mode 100644 index 00000000..10b93a39 --- /dev/null +++ b/images/gimp/.cvsignore @@ -0,0 +1,5 @@ +menurc +pluginrc +unitrc +parasiterc + diff --git a/images/gimp/scripts/proofgeneral.scm b/images/gimp/scripts/proofgeneral.scm new file mode 100644 index 00000000..68c3921b --- /dev/null +++ b/images/gimp/scripts/proofgeneral.scm @@ -0,0 +1,98 @@ +;; +;; Gimp script fu to make buttons from a source .xcf file. +;; +;; David Aspinall <da@dcs.ed.ac.uk> +;; +;; $Id$ +;; + + +;; TODO: make greyed out, pressed, unpressed versions. +;; e.g. : Add bevel for "up" position: +;; (script-fu-add-bevel 0 image +;; (car (gimp-image-active-drawable image)) "10" 0 0) + +(define (script-fu-proofgeneral-make-button buttonname) + (let* ((filename (string-append buttonname ".xcf")) + (image (car (gimp-file-load 1 filename filename))) + (xpmname (string-append buttonname ".xpm")) + (poor-xpm (string-append buttonname ".8bit.xpm"))) + (gimp-image-flatten image) + ;; Full xpm + (gimp-file-save 1 image (car (gimp-image-active-drawable image)) + xpmname xpmname) + ;; Impoverised xpm + (gimp-convert-indexed image 1 0 8 1 1 "blah") + (gimp-file-save 1 image (car (gimp-image-active-drawable image)) + poor-xpm poor-xpm) + ;; Finish + (gimp-image-delete image) + )) + +(script-fu-register "script-fu-proofgeneral-make-button" + "<Toolbox>/Xtns/Script-Fu/Proof General/Make Button" + "Save buttons in various formats" + "da@dcs.ed.ac.uk" "da@dcs.ed.ac.uk" + "1998/10/04" + "" + SF-VALUE "Button/file name" "\"goal\"") + +(define (script-fu-proofgeneral-make-all-buttons) + (mapcar script-fu-proofgeneral-make-button + '("goal" "next" "qed" "restart" "retract" "undo" "use" "state" "context" "info" "command" "find" "help" "interrupt" "goto" "abort"))) + +(script-fu-register "script-fu-proofgeneral-make-all-buttons" + "<Toolbox>/Xtns/Script-Fu/Proof General/Make All Buttons" + "Save Proof General buttons in the various formats" + "da@dcs.ed.ac.uk" "da@dcs.ed.ac.uk" + "1998/10/04" + "") + +(define (script-fu-proofgeneral-save-pic imgname) + (let* ((filename (string-append imgname ".xcf")) + (image (car (gimp-file-load 1 filename filename))) + (jpgname (string-append imgname ".jpg")) + (gifname (string-append imgname ".gif")) + (poorgifname (string-append imgname ".8bit.gif"))) + ;; Flatten and save as jpg + ;;(gimp-image-flatten image) + ;; Flattening forces a white background. Let's use merge. + (if (> (car (gimp-image-get-layers image)) 1) + (gimp-image-merge-visible-layers image 0)) + (file-jpeg-save 1 image (car (gimp-image-active-drawable image)) + jpgname jpgname + 0.75 0 1) + ;; gif with full palette + (gimp-convert-indexed image TRUE 255) + (file-gif-save 1 image (car (gimp-image-active-drawable image)) + gifname gifname + FALSE FALSE 0 0) + ;; gif with impoverished palette for display in XEmacs + (gimp-convert-rgb image) + (gimp-convert-indexed image 1 15) + (file-gif-save 1 image (car (gimp-image-active-drawable image)) + poorgifname poorgifname + FALSE FALSE 0 0) + ;; Finish + (gimp-image-delete image) + )) + +(script-fu-register "script-fu-proofgeneral-save-jpg" + "<Toolbox>/Xtns/Script-Fu/Proof General/Save Jpeg" + "Save image as jpeg" + "da@dcs.ed.ac.uk" "da@dcs.ed.ac.uk" + "1998/10/04" + "" + SF-VALUE "Basename" "\"test\"") + + +(define (script-fu-proofgeneral-save-all-pix) + (mapcar script-fu-proofgeneral-save-pic + '("ProofGeneral" "pg-text"))) + +(script-fu-register "script-fu-proofgeneral-save-all-jpegs" + "<Toolbox>/Xtns/Script-Fu/Proof General/Save all Jpegs" + "Save Proof General images as jpegs" + "da@dcs.ed.ac.uk" "da@dcs.ed.ac.uk" + "1998/10/04" + "")
\ No newline at end of file diff --git a/images/goal.8bit.xpm b/images/goal.8bit.xpm new file mode 100644 index 00000000..1d64db49 --- /dev/null +++ b/images/goal.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * goal_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #10170F", +"+ c #656545", +"@ c #8A9175", +"# c #79CE62", +"$ c #BCC5B7", +"% c #E1ECDD", +"& c #383C35", +"* c #8B2826", +"$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$", +"$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@$", +"$******************************$", +"$******************************$", +"$$%%%%%$$%#%%#%#%#%##%##%######$", +"$#%##@@++@&@###########+###@###$", +"$%%@@++@@&+.+&+&+@&&+&&&&++#&##$", +"$%@@@$$+#+@@++++++&&&&+@#@&@&##$", +"$%@$@$%+%@#@@###+##+##@##@&+&+#$", +"$%+$@#%@##&++#@#@##++#&#+#+++&#$", +"$%@$$@#@.@+#&#@++&@###+@&#+#+&#$", +"$%@$@&@%#$@%#&%@#@##@#@#@#+#&&@$", +"$%+$%@%$&++$@+++@@#%#@@###+++++#", +"$%*$%++$@$&@#%%#%#+@+##+@@+&&.+$", +"$%+$%&%%$+$%%%%%%#%%#%#%##++++#$", +"$%+%$+%@@%%%%%%%%%%%%%#%%#+@+#%$", +"$%+%%$&$%%%%%%%%%%%%#%%%%%+++#%$", +"$%+%@+$%%%%%%%%%%%%%%%%%#%+##%#$", +"$$+$$%%%%%%%%%%%%%%%%%%%%%@$%%%$", +"$%+%%%%%%%%%%%%%%%%%%%%%%%$$#%%$", +"$%$%%%%%%%%%%%%%%%%%%%%%%%%%%%%$", +"$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%$", +"$***************************.**$", +"$+*****************************$", +"$$$$$$$$$$$$$$$$$$$$$$$$+$$$$$$$", +"$$$$$$$$+.&&@$$$$$$$$$$@.@$$$$$$", +"$$$$$$$*&$$@$$+&+$$+&&@$.$$$$$$$", +"$$$$$$@.@$$$$&+@.@&+$.@+&$$$$@$$", +"$@$$@$@.$$..+.$$.+.$&.$+&$$@$$$$", +"$$$$$$@.+$&++.@&&+.+&&$*+$$$$$$$", +"$$$$$$$@*&&$$&&+$$&@+&$&+$$$@$$$", +"$@$$@$$$$$$$$$$$$$$$$$$$$$$$$$$$"}; diff --git a/images/goal.xcf b/images/goal.xcf Binary files differnew file mode 100644 index 00000000..9613c52f --- /dev/null +++ b/images/goal.xcf diff --git a/images/goal.xpm b/images/goal.xpm new file mode 100644 index 00000000..ede117f9 --- /dev/null +++ b/images/goal.xpm @@ -0,0 +1,586 @@ +/* XPM */ +static char * goal_xpm[] = { +"32 32 551 2", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #994848", +"& c #8D2121", +"* c #A8E1A3", +"= c #A8E29F", +"- c #A8E498", +"; c #A1DF96", +"> c #A3E098", +", c #A2DB8D", +"' c #A1CD74", +") c #96CA6C", +"! c #92D674", +"~ c #8FDF77", +"{ c #8FE176", +"] c #8ADE73", +"^ c #8BD974", +"/ c #83DB71", +"( c #7EDE68", +"_ c #85DD67", +": c #7BDF62", +"< c #7CDD5C", +"[ c #76DF60", +"} c #6FDA52", +"| c #75D857", +"1 c #74DF59", +"2 c #6DD552", +"3 c #6EDD53", +"4 c #6DDF53", +"5 c #6ADA5B", +"6 c #72D751", +"7 c #6FDA4E", +"8 c #6DE152", +"9 c #72DA51", +"0 c #B7E7A6", +"a c #B3E9A6", +"b c #B4E6A2", +"c c #A4D694", +"d c #6F8958", +"e c #8C7F31", +"f c #6E6D2E", +"g c #6E7636", +"h c #65793F", +"i c #344A2D", +"j c #6CA65C", +"k c #7ABD6A", +"l c #92DF7C", +"m c #88D976", +"n c #72B759", +"o c #72BC5D", +"p c #6EB656", +"q c #69B94F", +"r c #6FCC5B", +"s c #71D15F", +"t c #71D759", +"u c #68CC4D", +"v c #417C31", +"w c #58B145", +"x c #60CC4D", +"y c #60A33A", +"z c #579833", +"A c #5DBA45", +"B c #6EDD54", +"C c #72DC58", +"D c #BFECB1", +"E c #BBE7AE", +"F c #899C70", +"G c #957829", +"H c #A5781B", +"I c #806720", +"J c #958F43", +"K c #807F38", +"L c #4A4A20", +"M c #41512F", +"N c #1D2819", +"O c #395533", +"P c #243620", +"Q c #406239", +"R c #263A20", +"S c #548246", +"T c #5B8E4C", +"U c #2F4F28", +"V c #284024", +"W c #375E2F", +"X c #2A4922", +"Y c #142610", +"Z c #243E16", +"` c #2F3D11", +" . c #516318", +".. c #5A862F", +"+. c #69A938", +"@. c #326026", +"#. c #70DC57", +"$. c #6BD953", +"%. c #C9E9BD", +"&. c #9AAE83", +"*. c #9D7E2F", +"=. c #9D975C", +"-. c #AECA8E", +";. c #AFD592", +">. c #65764D", +",. c #9AB173", +"'. c #6B6833", +"). c #A1A14E", +"!. c #958D3B", +"~. c #71631D", +"{. c #72621E", +"]. c #74621E", +"^. c #70621E", +"/. c #685817", +"(. c #645717", +"_. c #4F430F", +":. c #42390D", +"<. c #3F390D", +"[. c #433D0E", +"}. c #6D7020", +"|. c #799D39", +"1. c #7BBA48", +"2. c #718A2A", +"3. c #284519", +"4. c #4A933D", +"5. c #285022", +"6. c #4E9C38", +"7. c #6DDE50", +"8. c #CCE6CA", +"9. c #8E9972", +"0. c #ACA260", +"a. c #8EA98A", +"b. c #A6C69E", +"c. c #BEE2B1", +"d. c #63795A", +"e. c #B8E6AC", +"f. c #81A174", +"g. c #81A47A", +"h. c #7BA172", +"i. c #66895D", +"j. c #A2E895", +"k. c #7AB078", +"l. c #90C77B", +"m. c #537848", +"n. c #A3E086", +"o. c #94D278", +"p. c #57763E", +"q. c #90D16F", +"r. c #88C96A", +"s. c #558E4F", +"t. c #86DF70", +"u. c #5EA450", +"v. c #80B247", +"w. c #3D5220", +"x. c #36622E", +"y. c #1F3916", +"z. c #39722D", +"A. c #6CDF54", +"B. c #D5EAD2", +"C. c #7A7B66", +"D. c #BDAE6C", +"E. c #98A690", +"F. c #A9C2A4", +"G. c #C8E3BD", +"H. c #7C9174", +"I. c #9DB48A", +"J. c #A6C79A", +"K. c #354031", +"L. c #455841", +"M. c #4D6645", +"N. c #AFE2A3", +"O. c #87B177", +"P. c #87B377", +"Q. c #6D8F60", +"R. c #97D084", +"S. c #9AD283", +"T. c #334E31", +"U. c #5C8A4F", +"V. c #5E9153", +"W. c #345130", +"X. c #93E176", +"Y. c #538447", +"Z. c #8FD26F", +"`. c #595E1D", +" + c #385D2C", +".+ c #467B39", +"++ c #1D3618", +"@+ c #7DDB5C", +"#+ c #DCE6D1", +"$+ c #7F7E67", +"%+ c #BEAE6D", +"&+ c #C7DEBD", +"*+ c #809580", +"=+ c #9EB797", +"-+ c #768A70", +";+ c #222721", +">+ c #839A82", +",+ c #6D816B", +"'+ c #ACD1A2", +")+ c #2A3529", +"!+ c #92B48B", +"~+ c #819E75", +"{+ c #495B42", +"]+ c #627955", +"^+ c #2B3A27", +"/+ c #5E8050", +"(+ c #71A567", +"_+ c #7FB370", +":+ c #95D77F", +"<+ c #4A6841", +"[+ c #537D4A", +"}+ c #2F4B2C", +"|+ c #8ED77B", +"1+ c #5D5D1C", +"2+ c #72B861", +"3+ c #4A8042", +"4+ c #0F1A0E", +"5+ c #76C967", +"6+ c #E4EAE2", +"7+ c #908A71", +"8+ c #C4B87F", +"9+ c #9AA290", +"0+ c #3F443E", +"a+ c #A1AD9B", +"b+ c #CFE4C4", +"c+ c #95A58E", +"d+ c #B3CCAE", +"e+ c #788570", +"f+ c #C4E9BA", +"g+ c #96BA95", +"h+ c #3E4B3B", +"i+ c #BCE4B5", +"j+ c #708A69", +"k+ c #BBE4AE", +"l+ c #6C8864", +"m+ c #B3E2A3", +"n+ c #8EBC85", +"o+ c #719B66", +"p+ c #A3E591", +"q+ c #62845A", +"r+ c #98DE87", +"s+ c #5C8658", +"t+ c #8FD478", +"u+ c #747023", +"v+ c #88D078", +"w+ c #233920", +"x+ c #3C6636", +"y+ c #598F47", +"z+ c #E5EBE7", +"A+ c #7B7258", +"B+ c #CBBE92", +"C+ c #D0D4C5", +"D+ c #878E83", +"E+ c #DDE9D8", +"F+ c #A5B39F", +"G+ c #545B54", +"H+ c #6A736A", +"I+ c #4A5448", +"J+ c #C7DFC4", +"K+ c #829781", +"L+ c #4E604C", +"M+ c #5C715A", +"N+ c #5B6D55", +"O+ c #748C6D", +"P+ c #7B9873", +"Q+ c #B9E6AA", +"R+ c #ADE5A6", +"S+ c #87AE83", +"T+ c #779669", +"U+ c #6C9062", +"V+ c #96CF86", +"W+ c #6F9D67", +"X+ c #96D080", +"Y+ c #786720", +"Z+ c #557A4B", +"`+ c #4C6F42", +" @ c #486F3B", +".@ c #528047", +"+@ c #EAE7E9", +"@@ c #564525", +"#@ c #CFC1A1", +"$@ c #E7E9DE", +"%@ c #787D74", +"&@ c #6C716C", +"*@ c #A1A89B", +"=@ c #A1AA9B", +"-@ c #9CA698", +";@ c #4E544C", +">@ c #6F7A6D", +",@ c #B4CCB1", +"'@ c #C9ECCA", +")@ c #CFEDC2", +"!@ c #CBEABC", +"~@ c #C2E8B6", +"{@ c #7E987B", +"]@ c #73886F", +"^@ c #718C6C", +"/@ c #6D8366", +"(@ c #A1C594", +"_@ c #8FBE88", +":@ c #698D5F", +"<@ c #688E62", +"[@ c #688B5B", +"}@ c #6F5A19", +"|@ c #3B5135", +"1@ c #10160E", +"2@ c #131C10", +"3@ c #4A6E40", +"4@ c #ECEBED", +"5@ c #654D1E", +"6@ c #DFD5C4", +"7@ c #CFCDC7", +"8@ c #464745", +"9@ c #DFDFDA", +"0@ c #E8EDE3", +"a@ c #B8C4B8", +"b@ c #63685F", +"c@ c #CAD2C9", +"d@ c #D9EAD7", +"e@ c #D7E9D6", +"f@ c #D7ECD2", +"g@ c #D2EBCE", +"h@ c #D3E8C7", +"i@ c #CCEBC0", +"j@ c #C7E8C5", +"k@ c #C6E7C1", +"l@ c #CBEBBA", +"m@ c #C4E8B9", +"n@ c #BDE9AD", +"o@ c #B4E4B2", +"p@ c #B5E8AA", +"q@ c #B1E7A6", +"r@ c #B1E0A2", +"s@ c #79601E", +"t@ c #3B5036", +"u@ c #425D3C", +"v@ c #4E6946", +"w@ c #9EE390", +"x@ c #EDECEE", +"y@ c #7D5E22", +"z@ c #E7E4E2", +"A@ c #D2D3D3", +"B@ c #6B6A68", +"C@ c #E7E5E5", +"D@ c #909290", +"E@ c #848685", +"F@ c #E0E5DF", +"G@ c #E5EEE7", +"H@ c #E3ECD9", +"I@ c #DDECDB", +"J@ c #DDE9D6", +"K@ c #D9EAD5", +"L@ c #D6E6D2", +"M@ c #D3E9CC", +"N@ c #CEE5CA", +"O@ c #D3E7CD", +"P@ c #D0EDC4", +"Q@ c #CAE9B7", +"R@ c #C9E7B9", +"S@ c #C1E5B4", +"T@ c #C0E6B4", +"U@ c #B9E6A8", +"V@ c #B8E4A8", +"W@ c #7A5F1E", +"X@ c #80A47B", +"Y@ c #384833", +"Z@ c #A4E496", +"`@ c #A8E69B", +" # c #EEEAEA", +".# c #826222", +"+# c #EBEDEC", +"@# c #EFEAEA", +"## c #BFB9BE", +"$# c #484746", +"%# c #A7A9A8", +"&# c #E7EFE9", +"*# c #EDEEED", +"=# c #EDEFEB", +"-# c #EBEDE8", +";# c #E3EBE6", +"># c #DFECDD", +",# c #DBEDDD", +"'# c #D9EBDD", +")# c #DCEAD9", +"!# c #D9E9D2", +"~# c #D9E9D1", +"{# c #D7EDCE", +"]# c #C8ECC4", +"^# c #D4E6C9", +"/# c #C5E6BB", +"(# c #C8EAC5", +"_# c #C5E9B9", +":# c #BFE8B4", +"<# c #7C601F", +"[# c #4F6148", +"}# c #4B6044", +"|# c #B1EAA0", +"1# c #ADE7A0", +"2# c #E1DFDF", +"3# c #896A2B", +"4# c #EBEFEA", +"5# c #A4A2A4", +"6# c #747575", +"7# c #D2D0D2", +"8# c #F0E6ED", +"9# c #EDEEEB", +"0# c #EDEAF0", +"a# c #EBEEE7", +"b# c #EBF1EB", +"c# c #E9EDE5", +"d# c #E8EDE7", +"e# c #E6ECE8", +"f# c #E0EBE1", +"g# c #E5EAE4", +"h# c #E0EDDA", +"i# c #DCECD9", +"j# c #DBEBD4", +"k# c #D4E8D0", +"l# c #D3EAD0", +"m# c #D0E9CB", +"n# c #CFE9C9", +"o# c #C9E6C5", +"p# c #C5E8BD", +"q# c #866924", +"r# c #A6C79E", +"s# c #B3D6A4", +"t# c #B6E5B3", +"u# c #B3E9AD", +"v# c #DEE1E4", +"w# c #856627", +"x# c #C5C7C6", +"y# c #9B9A9C", +"z# c #ECEBF0", +"A# c #EEEAEB", +"B# c #F0ECEA", +"C# c #E8EEEE", +"D# c #EFEBEE", +"E# c #EEEEEC", +"F# c #F0F1ED", +"G# c #F2F0EF", +"H# c #EBEBED", +"I# c #EFEAEC", +"J# c #E7ECE5", +"K# c #E6EDE4", +"L# c #E2EEE3", +"M# c #DFEAE2", +"N# c #DDE6E0", +"O# c #DCEDD5", +"P# c #DCEFD4", +"Q# c #DCEBD5", +"R# c #D4E9D0", +"S# c #D4EBC8", +"T# c #D4EBCB", +"U# c #A68B45", +"V# c #A9B297", +"W# c #C5E5BB", +"X# c #C5E2B8", +"Y# c #BDE9B2", +"Z# c #EAEBED", +"`# c #846425", +" $ c #EAECF0", +".$ c #EBEBF1", +"+$ c #EDEDED", +"@$ c #ECEDEC", +"#$ c #EBEAEE", +"$$ c #EAEEEF", +"%$ c #F1EDEE", +"&$ c #EAECED", +"*$ c #EDEEF1", +"=$ c #EFECEC", +"-$ c #EBEBEE", +";$ c #EDEEE6", +">$ c #E7ECE7", +",$ c #E5EDE1", +"'$ c #E6E9E2", +")$ c #E3EDE2", +"!$ c #E6EADC", +"~$ c #DBEADE", +"{$ c #E0EBD8", +"]$ c #D9F1D3", +"^$ c #D8E9D0", +"/$ c #BAB985", +"($ c #C5C89A", +"_$ c #CCE5C0", +":$ c #CDEBC6", +"<$ c #C5EAC4", +"[$ c #EEEDEB", +"}$ c #D9CCB1", +"|$ c #EDEAEC", +"1$ c #EEEEED", +"2$ c #E7ECEB", +"3$ c #EEECEC", +"4$ c #EEECEF", +"5$ c #EEEFF0", +"6$ c #F0ECED", +"7$ c #EBEEEC", +"8$ c #ECEBEC", +"9$ c #ECEDE9", +"0$ c #F0EEEB", +"a$ c #EBECEE", +"b$ c #EDEDEB", +"c$ c #EBEFE8", +"d$ c #EBEEE8", +"e$ c #EAEDE5", +"f$ c #EDEBE1", +"g$ c #E4E8E5", +"h$ c #E6EDE0", +"i$ c #DDEFDE", +"j$ c #DEE7D8", +"k$ c #DCEAD2", +"l$ c #D8EAD0", +"m$ c #DAE9CD", +"n$ c #D0EDC8", +"o$ c #D3E8C8", +"p$ c #EEE9ED", +"q$ c #ECE9EC", +"r$ c #EDEBE8", +"s$ c #EFEFEE", +"t$ c #F0F1EC", +"u$ c #EAECEC", +"v$ c #EEEEEA", +"w$ c #ECECEF", +"x$ c #EEEEEE", +"y$ c #EDEDEA", +"z$ c #ECECEC", +"A$ c #EFF0EC", +"B$ c #EBEDEF", +"C$ c #F0EDED", +"D$ c #EAEBEE", +"E$ c #EDF0EA", +"F$ c #E9EDEB", +"G$ c #EFECEB", +"H$ c #EBECEB", +"I$ c #EBE9E8", +"J$ c #EAEAE2", +"K$ c #E3EDE6", +"L$ c #E6ECE5", +"M$ c #DFECDA", +"N$ c #DBEBDA", +"O$ c #DCEADA", +"P$ c #E5F0E0", +"Q$ c #A56E6E", +"R$ c #A7A7A7", +"S$ c #7D7D7D", +"T$ c #545454", +"U$ c #151515", +"V$ c #3F3F3F", +"W$ c #2A2A2A", +"X$ c #939393", +"Y$ c #000000", +"Z$ c #696969", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ", +". + @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". # $ # # % % % % % % % # # # # % % % % # # # # # # # # # & $ . ", +". * = - ; > , ' ) ! ~ { ] ^ / ( _ : < [ } | 1 2 3 4 5 6 7 8 9 . ", +". 0 a b c d e f g h i j k l m n o p q r s t u v w x y z A B C . ", +". D E F G H I J K L M N O P Q R S T U V W X Y Z ` ...+.@.#.$.. ", +". %.&.*.=.-.;.>.,.'.).!.~.{.].^./.(._.:.<.[.}.|.1.2.3.4.5.6.7.. ", +". 8.9.0.a.b.c.d.e.f.g.h.i.j.k.l.m.n.o.p.q.r.s.t.u.v.w.x.y.z.A.. ", +". B.C.D.E.F.G.H.I.J.K.L.M.N.O.P.Q.R.S.T.U.V.W.X.Y.Z.`. +.+++@+. ", +". #+$+%+&+*+=+-+;+>+,+'+)+!+~+{+]+^+/+(+_+:+<+[+}+|+1+2+3+4+5+. ", +". 6+7+8+9+0+a+b+c+d+e+f+g+h+i+j+k+l+m+n+o+p+q+r+s+t+u+v+w+x+y+. ", +". z+A+B+C+D+E+F+G+H+I+J+K+L+M+N+O+P+Q+R+S+T+U+V+W+X+Y+Z+`+ @.@. ", +". +@@@#@$@%@&@*@=@-@;@>@,@'@)@!@~@{@]@^@/@(@_@:@<@[@}@|@1@2@3@. ", +". 4@5@6@7@8@9@0@a@b@c@d@e@f@g@h@i@j@k@l@m@n@o@p@q@r@s@t@u@v@w@. ", +". x@y@z@A@B@C@D@E@F@G@H@I@J@K@L@M@N@O@P@Q@R@S@T@U@V@W@X@Y@Z@`@. ", +". #.#+#@###$#%#&#*#=#-#;#>#,#'#)#!#~#{#]#^#/#(#_#:#<#[#}#|#1#. ", +". 2#3#4#5#6#7#8#9#0#a#b#c#d#e#f#g#h#i#j#k#l#m#n#o#p#q#r#s#t#u#. ", +". v#w#x#y#z#A#B#C#D#E#F#G#H#I#J#K#L#M#N#O#P#Q#R#S#T#U#V#W#X#Y#. ", +". Z#`# $.$+$@$#$$$%$&$*$x@=$-$;$*#>$,$'$)$!$~${$]$^$/$($_$:$<$. ", +". [$}$|$1$4@2$3$4$5$6$7$8$9$0$a$b$$$c$d$e$f$g$h$i$j$k$l$m$n$o$. ", +". p$q$r$s$t$u$v$w$x$E#H#y$z$A$B$C$D$E$F$G$H$I$J$K$L$M$N$O$Q#P$. ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". Q$# # # # # # # # # # # # # # # # # # # # # # # # # # # # # . ", +". . . . . . . . . . . . . . . . . . . . . . . R$S$R$. . . . . . ", +". . . . . . . . T$U$V$W$X$. . . . . . . . . . R$Y$R$. . . . . . ", +". . . . . . . V$W$. . R$R$. Z$V$Z$. . Z$V$V$X$R$Y$. . . . . . . ", +". . . . . . R$Y$X$. . . . V$Z$R$Y$S$T$Z$. Y$R$S$V$. . . . . . . ", +". . . . . . S$Y$. . U$U$Z$Y$. . Y$S$Y$. T$U$. T$T$. . . . . . . ", +". . . . . . R$Y$S$. V$T$S$Y$R$V$V$S$Y$Z$V$V$. W$S$. . . . . . . ", +". . . . . . . X$V$V$T$R$. T$V$Z$. R$V$S$Z$V$. V$Z$. . . . . . . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "}; diff --git a/images/goal_large.xcf b/images/goal_large.xcf Binary files differnew file mode 100644 index 00000000..95146fa2 --- /dev/null +++ b/images/goal_large.xcf diff --git a/images/goto.8bit.xpm b/images/goto.8bit.xpm new file mode 100644 index 00000000..fa2cc0ba --- /dev/null +++ b/images/goto.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * goto_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #020202", +"+ c #5C2525", +"@ c #9A4646", +"# c #7D5F5F", +"$ c #877D7D", +"% c #AA8282", +"& c #BDBCBC", +"* c #860E0E", +"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&", +"&&&&&%%%%%%%%%%%%%%%%%%%%%%&&&&&", +"&&&&&@*********************&&&&&", +"&&&&&@*@@@@@@@@@@@@@@@@@@**&&&&&", +"&&&&&@*&&&&&&&&&&&&&&&&&&@*&&&&&", +"&&&&&@*&&&&&&&&&&&&&&&&&&@*&&&&&", +"&&&&&@*&@&&&&&&&&&&&&&&*&@*&&&&&", +"&&&&&@*&*%&&&&&&&&&&&&#*&@*&&&&&", +"&&&&&@*&**#&&&&&&&&&&%**&@*&&&&&", +"&&&&&@*&***#&&&&&&&&@***&@*&&&&&", +"&&&&&@*&****@&&%%&&%****&@*&&&&&", +"&&&&&@*&*****@&@@%%*****&@*&&&&&", +"&&&&&@*&******%**&@*****&@*&&&&&", +"&&&&&@*&*****&%@$&%*****&@*&&&&&", +"&&&&&@*&****%&&&&&&%****&@*&&&&&", +"&&&&&@*&***%&&&&&&&&&***&@*&&&&&", +"&&&&&@*&**%&&&&&&&&&&&**&@*&&&&&", +"&&&&&@*&*%&&&&&&&&&&&&@*&@*&&&&&", +"&&&&&@*&%&&&&&&&&&&&&&&%&@*&&&&&", +"&&&&&@*&&&&&&&&&&&&&&&&&&@*&&&&&", +"&&&&&@*&&&&&&&&&&&&&&&&&&@*&&&&&", +"&&&&&@*%%%%%%%%%%%%%%%%%$@*&&&&&", +"&&&&&@*********************&&&&&", +"&&&&&%@@@@@@@@@@@@@@@@@@@@@&&&&&", +"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&", +"&&&&&&&&#.++$&&&&&&$&&&&&&&&&&&&", +"&&&&&&&++&&&&&#+#&..$&$+#&&&&&&&", +"&&&&&&&.$&&&&+#&.$+#&$+&.+&&&&&&", +"&&&&&&$.&&..$.&&.$+$&.$&##&&&&&&", +"&&&&&&&.$&+#$.&+#&.$&.#$.&&&&&&&", +"&&&&&&&$#+#&&#+$&&#+&$##$&&&&&&&", +"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&"}; diff --git a/images/goto.xcf b/images/goto.xcf Binary files differnew file mode 100644 index 00000000..413bc9a3 --- /dev/null +++ b/images/goto.xcf diff --git a/images/goto.xpm b/images/goto.xpm new file mode 100644 index 00000000..7725cf8b --- /dev/null +++ b/images/goto.xpm @@ -0,0 +1,106 @@ +/* XPM */ +static char * goto_xpm[] = { +"32 32 71 1", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #8D2121", +"& c #BCBBBB", +"* c #BBBABA", +"= c #BBB9B9", +"- c #BAB7B7", +"; c #BAB6B6", +"> c #BBBBBB", +", c #9A4B4B", +"' c #8B1919", +") c #881212", +"! c #A87A7A", +"~ c #9E5858", +"{ c #891313", +"] c #A06161", +"^ c #A26868", +"/ c #891414", +"( c #A16565", +"_ c #B8AFAF", +": c #9F5C5C", +"< c #891515", +"[ c #860C0C", +"} c #9C5454", +"| c #B19797", +"1 c #B29A9A", +"2 c #A77777", +"3 c #BAB8B8", +"4 c #8A1616", +"5 c #984949", +"6 c #B5A5A5", +"7 c #8F2D2D", +"8 c #8E2828", +"9 c #B3A0A0", +"0 c #A67575", +"a c #881515", +"b c #B29C9C", +"c c #850D0D", +"d c #B4A2A2", +"e c #9E5A5A", +"f c #B39E9E", +"g c #9C5757", +"h c #A87B7B", +"i c #B7ACAC", +"j c #891212", +"k c #870E0E", +"l c #B6A7A7", +"m c #AD8C8C", +"n c #881111", +"o c #AA8181", +"p c #B5A4A4", +"q c #AA7F7F", +"r c #B4A1A1", +"s c #AB8585", +"t c #AE8F8F", +"u c #AC8888", +"v c #933434", +"w c #A56E6E", +"x c #545454", +"y c #151515", +"z c #3E3E3E", +"A c #2A2A2A", +"B c #929292", +"C c #A7A7A7", +"D c #7D7D7D", +"E c #686868", +"F c #000000", +"................................", +".....+@@@@@@@@@@@@@@@@@@@@@.....", +".....#$$$$$$$$$$$$$$$$$$$$$.....", +".....#$##################%$.....", +".....#$....&*&.=-;-=*>...#$.....", +".....#$..................#$.....", +".....#$.,&&...........&'>#$.....", +".....#$.)!=...........~)>#$.....", +".....#$&{$]&.........^${*#$.....", +".....#$*/$$(_......*:$$/=#$.....", +".....#$*<$$[}&.|1.-2[$$<3#$.....", +".....#$*4$$$$567890$$$$43#$.....", +".....#$*<$$$[abccde[$$$<3#$.....", +".....#$&/$$$[1fghi|[$$$/=#$.....", +".....#$&j$$kb..li..m{$$j*#$.....", +".....#$.n$ko=.......p$$n>#$.....", +".....#$.k$q&.........r$k>#$.....", +".....#$.{s..&......&..,$.#$.....", +".....#$.t..............u.#$.....", +".....#$..................#$.....", +".....#$..................#$.....", +".....#$@@@@@@@@@@@@@@@@@@v$.....", +".....#$$$$$$$$$$$$$$$$$$$$$.....", +".....w#####################.....", +"................................", +"........xyzAB.....CD............", +".......zA..CC.EzE.AyE.BzxC......", +"......CFB....zECFDzx.DA.Az......", +"......DF..yyEF..FBAD.yD.zx......", +"......CFD.zxDFCzz.FD.FEDyC......", +".......BzzxC.xzE..xz.DzxC.......", +"................................"}; diff --git a/images/help.8bit.xpm b/images/help.8bit.xpm new file mode 100644 index 00000000..b50057e9 --- /dev/null +++ b/images/help.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * help_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #22210A", +"+ c #C0BEBB", +"@ c #B4998B", +"# c #8D2321", +"$ c #717264", +"% c #A27A73", +"& c #4F5537", +"* c #434133", +"+@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+", +"+##############################+", +"+............*$*....*..........+", +"+............&@&&..*&..........+", +"+...........*$@$&&*.*&.........+", +"@.......**...&&&*&&*.&.........+", +"+.......**.*...**$$&***........+", +"@.......*.*....*.*&$*.*........+", +"+........*...****.**&*.........+", +"@..........&*%$@@@$.*..........+", +"+.........&..&%*.*@@...........+", +"+.........*...*...@+$..........+", +"+.........$..&%*..@++..........@", +"@.........%.#%+&*#@+%..........+", +"+.........%.*#@@%@@@%..........+", +"+.........%&&*#%#@@@...........+", +"+.........%##*..#*#%...........+", +"@.........%*$#&$%&#$...........+", +"+.........@%#*%%@++@...........+", +"@.........%%&#%++++%...........+", +"+..........#$%@++%&&...........+", +"+##############################+", +"+%#############################+", +"++++++++++++++++++++++++++++++++", +"++++++++++++++++++@@++++++++++++", +"+++++++$.$+..@++++$.++++++++++++", +"+++++++@.++*$+@*$+$*@*@$*+++++++", +"+++++++&.**.$$*$.+*$+..&.$++++++", +"+++++++**+@.+..*@+.@+.$@.@++++++", +"+++++++.$+$.+.$+&@.+$.+*&+++++++", +"++++++&*$+**$$*&@$*$$..@++++++++", +"++++++++++++++++++++*$++++++++++"}; diff --git a/images/help.xcf b/images/help.xcf Binary files differnew file mode 100644 index 00000000..f165f10b --- /dev/null +++ b/images/help.xcf diff --git a/images/help.xpm b/images/help.xpm new file mode 100644 index 00000000..c9866007 --- /dev/null +++ b/images/help.xpm @@ -0,0 +1,368 @@ +/* XPM */ +static char * help_xpm[] = { +"32 32 333 2", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #232006", +"& c #1F1D04", +"* c #1D1D04", +"= c #191A03", +"- c #141802", +"; c #161903", +"> c #1D1C04", +", c #252005", +"' c #152C0E", +") c #0E270E", +"! c #0E280E", +"~ c #0D220C", +"{ c #4A4F23", +"] c #7E7E46", +"^ c #4B5524", +"/ c #143714", +"( c #0F2B10", +"_ c #112F11", +": c #1A491B", +"< c #224D1B", +"[ c #242106", +"} c #262106", +"| c #242006", +"1 c #221F06", +"2 c #1F1E05", +"3 c #1B1B04", +"4 c #181A04", +"5 c #1B1C04", +"6 c #2C2407", +"7 c #231F05", +"8 c #242005", +"9 c #1E1D04", +"0 c #202709", +"a c #102E11", +"b c #0C250D", +"c c #243114", +"d c #62622C", +"e c #9B9A5C", +"f c #65652D", +"g c #2A4D1D", +"h c #113212", +"i c #153B15", +"j c #225A23", +"k c #233E13", +"l c #252106", +"m c #211F05", +"n c #201E05", +"o c #211E05", +"p c #302608", +"q c #2E2508", +"r c #121703", +"s c #151903", +"t c #2A2306", +"u c #201E04", +"v c #1B3612", +"w c #133413", +"x c #0F2C0F", +"y c #0C230D", +"z c #1F3014", +"A c #808045", +"B c #8D8D54", +"C c #737537", +"D c #244D1C", +"E c #1B4C1C", +"F c #143815", +"G c #113312", +"H c #1A461B", +"I c #276025", +"J c #292508", +"K c #292307", +"L c #292207", +"M c #2D2508", +"N c #312708", +"O c #2D2407", +"P c #191B04", +"Q c #1C1C04", +"R c #221F05", +"S c #1E1E05", +"T c #1D461B", +"U c #163A16", +"V c #172E11", +"W c #142D10", +"X c #394621", +"Y c #5F6533", +"Z c #395024", +"` c #254619", +" . c #3D5E24", +".. c #32632A", +"+. c #123312", +"@. c #235E24", +"#. c #253A12", +"$. c #272207", +"%. c #282207", +"&. c #272106", +"*. c #2B2407", +"=. c #2A2307", +"-. c #1D2408", +";. c #1F4D1F", +">. c #123212", +",. c #1A2710", +"'. c #313C1E", +"). c #242817", +"!. c #27261A", +"~. c #2A281A", +"{. c #32311C", +"]. c #454422", +"^. c #67692E", +"/. c #5F712E", +"(. c #2D4B20", +"_. c #19471A", +":. c #224918", +"<. c #1F1E04", +"[. c #1A1B03", +"}. c #201F05", +"|. c #1A4519", +"1. c #172B16", +"2. c #45423B", +"3. c #161311", +"4. c #121212", +"5. c #1D1F1F", +"6. c #292B2A", +"7. c #2C302E", +"8. c #2C2F2E", +"9. c #373533", +"0. c #6C6A4D", +"a. c #6D7231", +"b. c #20431A", +"c. c #123412", +"d. c #204B19", +"e. c #1E1D05", +"f. c #292206", +"g. c #1B3510", +"h. c #31382A", +"i. c #0F0E0D", +"j. c #20211B", +"k. c #312820", +"l. c #513A31", +"m. c #433028", +"n. c #513B32", +"o. c #44342A", +"p. c #34332B", +"q. c #2F342F", +"r. c #423F2F", +"s. c #3F5722", +"t. c #103011", +"u. c #1F3711", +"v. c #1A1B04", +"w. c #2B2307", +"x. c #2E2507", +"y. c #191B03", +"z. c #1C1E05", +"A. c #13170C", +"B. c #343024", +"C. c #704F40", +"D. c #5E4336", +"E. c #A97C67", +"F. c #8B6354", +"G. c #CF967C", +"H. c #C18C71", +"I. c #BD8870", +"J. c #8E6957", +"K. c #1D1F16", +"L. c #1E3216", +"M. c #122F10", +"N. c #222307", +"O. c #1C1C05", +"P. c #131803", +"Q. c #252006", +"R. c #2A2206", +"S. c #171A03", +"T. c #1B1B03", +"U. c #1B1E06", +"V. c #695741", +"W. c #2C2118", +"X. c #372820", +"Y. c #695247", +"Z. c #916C61", +"`. c #564238", +" + c #443428", +".+ c #4A392A", +"++ c #BD9178", +"@+ c #CDA386", +"#+ c #193916", +"$+ c #1E2208", +"%+ c #1D1D05", +"&+ c #171A04", +"*+ c #22210A", +"=+ c #393022", +"-+ c #1A150D", +";+ c #211C16", +">+ c #3C332A", +",+ c #543E36", +"'+ c #252119", +")+ c #1E1910", +"!+ c #2E2416", +"~+ c #9F8873", +"{+ c #FACBAB", +"]+ c #866C50", +"^+ c #43341F", +"/+ c #726050", +"(+ c #231C13", +"_+ c #27231D", +":+ c #5B463D", +"<+ c #B8836E", +"[+ c #342E27", +"}+ c #221C11", +"|+ c #322718", +"1+ c #B09C85", +"2+ c #F3C5A6", +"3+ c #F4BB9F", +"4+ c #252107", +"5+ c #272206", +"6+ c #2E2710", +"7+ c #826758", +"8+ c #2E271E", +"9+ c #43352E", +"0+ c #855F50", +"a+ c #EDB59A", +"b+ c #795E51", +"c+ c #3E3228", +"d+ c #433628", +"e+ c #B99785", +"f+ c #DEB49D", +"g+ c #BF8775", +"h+ c #1F1D05", +"i+ c #262107", +"j+ c #9A705E", +"k+ c #4D3832", +"l+ c #5E443C", +"m+ c #7A574B", +"n+ c #BC8B77", +"o+ c #C3937D", +"p+ c #8D6455", +"q+ c #D5907D", +"r+ c #C29D90", +"s+ c #C8A492", +"t+ c #98765F", +"u+ c #2B2306", +"v+ c #99705C", +"w+ c #574039", +"x+ c #694B40", +"y+ c #5D3E35", +"z+ c #66463B", +"A+ c #966555", +"B+ c #79584A", +"C+ c #C48C78", +"D+ c #B0958B", +"E+ c #AC9284", +"F+ c #443B24", +"G+ c #231F06", +"H+ c #282206", +"I+ c #A87A63", +"J+ c #4C372F", +"K+ c #65352F", +"L+ c #592A27", +"M+ c #291616", +"N+ c #442916", +"O+ c #482F1B", +"P+ c #40291A", +"Q+ c #805850", +"R+ c #87746B", +"S+ c #1D1D08", +"T+ c #141803", +"U+ c #BE836D", +"V+ c #5A4036", +"W+ c #825C4D", +"X+ c #5D4037", +"Y+ c #79564C", +"Z+ c #9A6254", +"`+ c #835C47", +" @ c #664431", +".@ c #8F473C", +"+@ c #946C5F", +"@@ c #211F07", +"#@ c #111703", +"$@ c #1D1C05", +"%@ c #252105", +"&@ c #2D2509", +"*@ c #D28C78", +"=@ c #895D4F", +"-@ c #624539", +";@ c #533C34", +">@ c #876256", +",@ c #C7917F", +"'@ c #E1A591", +")@ c #FDCDAD", +"!@ c #F6C4A7", +"~@ c #C29C80", +"{@ c #342809", +"]@ c #221E05", +"^@ c #232005", +"/@ c #252007", +"(@ c #8F6353", +"_@ c #AA7362", +":@ c #60453B", +"<@ c #75554A", +"[@ c #8F685D", +"}@ c #EBAF97", +"|@ c #FACAB0", +"1@ c #FED4B2", +"2@ c #F1BC9E", +"3@ c #8E7663", +"4@ c #1F200A", +"5@ c #292306", +"6@ c #0D1208", +"7@ c #262727", +"8@ c #654D46", +"9@ c #715247", +"0@ c #9C7265", +"a@ c #BA8878", +"b@ c #F3BBA2", +"c@ c #DAAD96", +"d@ c #8E6A5D", +"e@ c #544948", +"f@ c #595B5A", +"g@ c #132312", +"h@ c #242409", +"i@ c #A56E6E", +"j@ c #939393", +"k@ c #7D7D7D", +"l@ c #696969", +"m@ c #000000", +"n@ c #151515", +"o@ c #2A2A2A", +"p@ c #3F3F3F", +"q@ c #A7A7A7", +"r@ c #545454", +". + @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". % & * = - ; > , ' ) ! ~ { ] ^ / ( _ : < [ } | 1 2 3 4 5 } 6 . ", +". 4 4 7 8 9 9 9 0 a ! b c d e f g h a i j k | l m n | o } p q . ", +". r s o t 7 u 9 v w x y z A B C D E F G H I J K | l L K M N O . ", +". P * Q R & = S T U ! V W X Y Z ` ...+.G @.#.L $.%.$.&.*.6 =.. ", +". | m 3 > = s -.;.>.,.'.).!.~.{.].^./.(.h _.:.% % | 1 m %.l % . ", +". L } <.& 9 [.}.|.1.2.3.4.5.6.7.8.9.0.a.b.c.d.1 % % e.2 | e.Q . ", +". L f.} , o Q & g.h.i.j.k.l.m.n.o.p.q.r.s.t.u.n n R Q v.Q ; s . ", +". &.w.x.t R 3 y.z.A.B.C.D.E.F.G.H.I.J.K.L.M.N.v.O.O.4 Q 4 P.; . ", +". Q.&.t R.R [.S.T.U.V.W.X.Y.Z.`. +.+++@+#+$+%+P O.P &+v.s ; v.. ", +". 1 R , 8 R > T.9 *+=+-+;+>+,+'+)+!+~+{+]+1 e.5 e.%+P 4 ; ; Q . ", +". | 8 , o 5 > & & ^+/+(+_+:+<+[+}+|+1+2+3+4+o %+1 % Q P %+O.O.. ", +". 5+5+R > T.9 R R 6+7+8+9+0+a+b+c+d+e+f+g+h+2 1 % l Q.Q.w.l l . ", +". | 8 7 5 > 8 } , i+j+k+l+m+n+o+p+q+r+s+t+v.2 o $.&.Q.=.N 6 l . ", +". h+m } 9 [.<.} u+t v+w+x+y+z+A+B+C+D+E+F+O.l 1 e.2 5 G+L Q.% . ", +". Q 7 H+R ; = o t w.I+J+K+L+M+N+O+P+Q+R+S+2 6 %.%+&+T+Q 1 | m . ", +". e.n 8 o S.[.9 7 =.U+V+W+X+Y+Z+`+ @.@+@@@m O O o P.#@$@1 l 1 . ", +". m n 9 Q * 9 n %@&@*@=@-@;@>@,@'@)@!@~@} =.{@p % s r %+o m O.. ", +". % 7 ]@u ^@o o &./@(@_@:@<@[@}@|@1@2@3@4@=.p 6 H+e.5 m %+%+5 . ", +". &., R 9 R R m 5@6@7@8@9@0@a@b@c@d@e@f@g@h@Q.% % Q.Q.Q.%+Q n . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". i@# # # # # # # # # # # # # # # # # # # # # # # # # # # # # . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ", +". . . . . . . . . . . . . . . . . . j@k@. . . . . . . . . . . . ", +". . . . . . . l@m@l@. n@n@j@. . . . l@o@. . . . . . . . . . . . ", +". . . . . . . j@m@. . p@l@. j@p@l@. l@p@j@p@j@l@p@q@. . . . . . ", +". . . . . . . l@n@p@p@m@k@k@p@k@n@. p@k@. n@o@l@m@k@. . . . . . ", +". . . . . . . p@r@. q@m@. n@o@p@j@. n@j@. m@k@j@m@q@. . . . . . ", +". . . . . . . n@k@. k@o@. m@l@. l@q@m@. k@n@. p@l@. . . . . . . ", +". . . . . . l@p@l@. p@p@j@k@p@r@j@j@p@j@l@n@p@j@. . . . . . . . ", +". . . . . . . . . . . . . . . . . . . . p@l@. . . . . . . . . . "}; diff --git a/images/hiddenproof.xcf b/images/hiddenproof.xcf Binary files differnew file mode 100644 index 00000000..77c189d7 --- /dev/null +++ b/images/hiddenproof.xcf diff --git a/images/hiddenproof.xpm b/images/hiddenproof.xpm new file mode 100644 index 00000000..551cae8e --- /dev/null +++ b/images/hiddenproof.xpm @@ -0,0 +1,103 @@ +/* XPM */ +static char * hiddenproof_xpm[] = { +"16 16 84 1", +" c None", +". c #F7DFFF", +"+ c #F4D3FF", +"@ c #F1C7FF", +"# c #EEBAFF", +"$ c #EBAEFF", +"% c #E8A0FF", +"& c #E594FF", +"* c #E287FF", +"= c #DF7CFF", +"- c #DC70FF", +"; c #AE22FE", +"> c #F3CFFF", +", c #29202B", +"' c #281E2B", +") c #281D2B", +"! c #271B2B", +"~ c #27182B", +"{ c #26152B", +"] c #26142B", +"^ c #DB6CFF", +"/ c #D85FFF", +"( c #8200DC", +"_ c #000000", +": c #EFBFFF", +"< c #ECB3FF", +"[ c #E9A7FF", +"} c #E69BFF", +"| c #E38FFF", +"1 c #E082FF", +"2 c #DD76FF", +"3 c #DA68FF", +"4 c #D75DFF", +"5 c #D44FFF", +"6 c #7200BF", +"7 c #ECB0FF", +"8 c #281B2B", +"9 c #27192B", +"0 c #26162B", +"a c #25122B", +"b c #25102B", +"c c #D759FF", +"d c #D44DFF", +"e c #D140FF", +"f c #7000BE", +"g c #DC6FFF", +"h c #D962FF", +"i c #D657FF", +"j c #D349FF", +"k c #D03EFF", +"l c #CD30FF", +"m c #6C00B6", +"n c #E492FF", +"o c #25112B", +"p c #D552FF", +"q c #D247FF", +"r c #CF3AFF", +"s c #CC2EFF", +"t c #C921FF", +"u c #6100A3", +"v c #D144FF", +"w c #CE37FF", +"x c #CB2AFF", +"y c #C81FFF", +"z c #C511FF", +"A c #DD72FF", +"B c #250F2B", +"C c #240C2B", +"D c #240A2B", +"E c #23072B", +"F c #CB27FF", +"G c #C71AFF", +"H c #C50FFF", +"I c #C202FF", +"J c #DB69FF", +"K c #CA25FF", +"L c #C717FF", +"M c #C40CFF", +"N c #C100FF", +"O c #6200A6", +"P c #B42BFE", +"Q c #7D00D0", +"R c #6700AE", +"S c #590096", +" ", +" ", +" ", +" .+@#$%&*=-; ", +" >,')!~{]^/(_ ", +" :<[}|123456_ ", +" 7890{abcdef_ ", +" %&*=ghijklm_ ", +" n{]o/pqrstu_ ", +" 12345vwxyzu_ ", +" AbBCDEFGHIu_ ", +" JijklKLMNNO_ ", +" P(QfffRuuuS_ ", +" ___________ ", +" ", +" "}; diff --git a/images/info.8bit.xpm b/images/info.8bit.xpm new file mode 100644 index 00000000..b93c3a5c --- /dev/null +++ b/images/info.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * info_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #0504AC", +"+ c #763E50", +"@ c #7B586E", +"# c #7B7B9E", +"$ c #860F0D", +"% c #AA8284", +"& c #BCBCBD", +"* c #FEFEFC", +"&%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%&", +"&@$$$$$$$$$$$$$$$$$$$$$$$$$$$$$&", +"&+$+@++@++@++++$+++++@++@++@+$$&", +"&@$&&&&&&&&#+......+%&&&&&&&&@$&", +"&+$&&&&&&&@....@##...@&&&&&&&+$&", +"&+$&&&&&&......%*&.....&&&&&&@$&", +"&+$&&&&&@......&**.....@&&&&&+$&", +"&@$&&&&#................%&&&&+$&", +"&@$&&&&+.....&&&&&......+&&&&+$&", +"&@$&&&%......****&.......%&&&@$&", +"&@$&&&#........&**.......#&&&+$&", +"&@$&&&#........%*&.......%&&&+$&", +"&@$&&&#........&**.......#&&&@$&", +"&@$&&&#........%*&.......%&&&+$&", +"&@$&&&%........&**.......%&&&+$&", +"&@$&&&&+.......%*&......+&&&&+$&", +"&+$&&&&#.......&**......#&&&&@$&", +"&@$&&&&&@....@@&**@+...@&&&&&+$&", +"&+$&&&&&&....******&...&&&&&&+$&", +"&@$&&&&&&&#..######@.@&&&&&&&@$&", +"&+$%%%%#%#%@+......+@#%%%%%%%$$&", +"&+$$$$$$$$$$$$$$$$$$$$$$$$$$$$$&", +"&%++++++++++@+@+@++++++++@+@+@+&", +"&&&&&&&&&&&&&&&&&&%%&&&&&&&&&&&&", +"&&&&&&&&%.+&&&&&&%@#&&&&&&&&&&&&", +"&&&&&&&&%.&+@%+&#..%&@+%&&&&&&&&", +"&&&&&&&&@.&++#.#&.&&.&@.&&&&&&&&", +"&&&&&&&&++&.+%.&%.&++&#$&&&&&&&&", +"&&&&&&&&.#&.&#.&#+&+.&.#&&&&&&&&", +"&&&&&&&#++&+&#+#+@&&++%&&&&&&&&&", +"&&&&&&&&&&&&&&&&.#&&&&&&&&&&&&&&", +"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&"}; diff --git a/images/info.xcf b/images/info.xcf Binary files differnew file mode 100644 index 00000000..ff7a632c --- /dev/null +++ b/images/info.xcf diff --git a/images/info.xpm b/images/info.xpm new file mode 100644 index 00000000..1ceef4fc --- /dev/null +++ b/images/info.xpm @@ -0,0 +1,113 @@ +/* XPM */ +static char * info_xpm[] = { +"32 32 78 1", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #994848", +"& c #8D3C3E", +"* c #813039", +"= c #813139", +"- c #8D3C3F", +"; c #8D2121", +"> c #797991", +", c #2F2F9A", +"' c #1818A9", +") c #0101BD", +"! c #A5A5A8", +"~ c #5E5E8D", +"{ c #4F4FD2", +"] c #7F7FDE", +"^ c #6F6FDA", +"/ c #0000BE", +"( c #2020A2", +"_ c #9F9FE6", +": c #FEFEFE", +"< c #DFDFF6", +"[ c #870F0F", +"} c #5E5E8E", +"| c #994949", +"1 c #891313", +"2 c #994A4A", +"3 c #8A1818", +"4 c #0101BE", +"5 c #1818C4", +"6 c #BFBFEE", +"7 c #A7A7E8", +"8 c #9A4C4C", +"9 c #8B1C1C", +"0 c #9999A0", +"a c #2020C6", +"b c #9B4E4E", +"c c #767690", +"d c #0404BF", +"e c #ABABE9", +"f c #8C1E1E", +"g c #994B4B", +"h c #8B1B1B", +"i c #0000BD", +"j c #891414", +"k c #881010", +"l c #870E0E", +"m c #0C0CC1", +"n c #5F5FD6", +"o c #C3C3EF", +"p c #EBEBF9", +"q c #4747D0", +"r c #FFFFFF", +"s c #1010C2", +"t c #AB8383", +"u c #AB8484", +"v c #7E5767", +"w c #4D266D", +"x c #3D1576", +"y c #2E0683", +"z c #2E0582", +"A c #2E0885", +"B c #3D1677", +"C c #933434", +"D c #A56E6E", +"E c #939393", +"F c #7D7D7D", +"G c #696969", +"H c #000000", +"I c #2A2A2A", +"J c #545454", +"K c #A7A7A7", +"L c #3F3F3F", +"M c #151515", +".+@@@@@@@@@@@@@@@@@@@@@@@@@@@@@.", +".#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$.", +".#$##%%%%%%%#&**==-%#########;$.", +".#$........>,'))))',>........#$.", +".#$......!~)))){]^///~!......#$.", +".%$.....!()))))_:<////(!.....#$.", +".%[.....}/)))))_:</////~.....#$.", +".|1....>)/))))))))//////>....#$.", +".23....,4/))566667//////,....#$.", +".89...0')/))a::::<//////'0...#$.", +".b9...c44/))daae:<///////c...#$.", +".bf...c/)/)))))_:<///////c...#$.", +".gf...c))/)))))_:<///////c...#$.", +".gh...c)i/)))))_:<///////c...#$.", +".|j...0')/)))))_:<//////'0...#$.", +".|k....,)/)))))_:<//////,....#$.", +".%[....>4/)))))_:<//////>....#$.", +".%l.....~/))mnno:pnq///~.....#$.", +".#$.....!())a:::::r6//(!.....#$.", +".#$......!~)s]]]]]]n/~!......#$.", +".#$@@@@tuuuvwxyzAABwv@@@@@@@@C$.", +".#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$.", +".D#############################.", +"..................EF............", +"........GHI......GJGK...........", +"........EHKLGELKFMIEKJLE........", +"........GH.LLGHF.H.KMKGH........", +"........LL.ILKH.FM.JL.FM........", +"........MG.HKFM.GL.LIKMF........", +".......GLLKL.FLELJ.KLLE.........", +"................MF..............", +"................................"}; diff --git a/images/interrupt.8bit.xpm b/images/interrupt.8bit.xpm new file mode 100644 index 00000000..9438fa6f --- /dev/null +++ b/images/interrupt.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * interrupt_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #373130", +"+ c #9A4746", +"@ c #957979", +"# c #860E0C", +"$ c #BDBDBB", +"% c #8A1819", +"& c #FEFEFC", +"* c #F80405", +"$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@$", +"$+%%%%%%%%%%%%%%%%%%%%%%%%%%%%#$", +"$+%++++++++@*#*#*#*#*%+++++++%%$", +"$+#$$$$$$&*************&$$$$$+#$", +"$+#$$$$$&***************&$$$$+#$", +"$+#$$$$&*****************&$$$+#$", +"$+#$$$&*******************&$$+#$", +"$+#$$$********************&$$+#$", +"$+%$$$*********************$$+#$", +"$+%$$$**&&&&&&&&&&&&&&&&&**$$+#$", +"$+%$$$*&&&&&&&&&&&&&&&&&&&*$$+#$", +"$+%$$$*&&&&&&&&&&&&&&&&&&&*$$+#$", +"$+%$$$**&&&&&&&&&&&&&&&&&**$$+#$", +"$+%$$$*********************$$+#$", +"$+%$$$@*******************&$$+#$", +"$+#$$$@*******************&$$+#$", +"$+#$$$&******************&&$$+#$", +"$+#$$$&&****************&&$$$+#$", +"$+#$$$$&&**************&&$$$$+#$", +"$+#$$$$$&*************&&$$$$$+#$", +"$+#@@@@@@$$**********$@@@@@@@+#$", +"$+#%#%%%%##############%#%#####$", +"$@+++++++++++++.#++++++++++++++$", +"$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$", +"$$$$$$@...$@@$$$$$$$$$$$$$$$$$$$", +"$$$$$$..$$$...$@..$@.@.@$$$$$$$$", +"$$$$$$$..@$@.$@.$.@$.@@.@$$$$$$$", +"$$$$$$$$@.$@.$.@$@.$.@$.@$$$$$$$", +"$$$$$$.$@.$@.$@.$.@$.@$.@$$$$$$$", +"$$$$$$@..@$$.@$@..$$...@$$$$$$$$", +"$$$$$$$$$$$$$$$$$$$$..$$$$$$$$$$", +"$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$"}; diff --git a/images/interrupt.xcf b/images/interrupt.xcf Binary files differnew file mode 100644 index 00000000..eeb7a61e --- /dev/null +++ b/images/interrupt.xcf diff --git a/images/interrupt.xpm b/images/interrupt.xpm new file mode 100644 index 00000000..da49b0c4 --- /dev/null +++ b/images/interrupt.xpm @@ -0,0 +1,87 @@ +/* XPM */ +static char * interrupt_xpm[] = { +"32 32 52 1", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #994848", +"& c #AF5E5E", +"* c #AF0909", +"= c #AF1C1C", +"- c #AF1919", +"; c #8D2121", +"> c #FFFFFF", +", c #FF0000", +"' c #FF3131", +") c #870F0F", +"! c #994949", +"~ c #891313", +"{ c #994A4A", +"] c #8A1818", +"^ c #9A4C4C", +"/ c #8B1C1C", +"( c #9B4E4E", +"_ c #8C1E1E", +": c #994B4B", +"< c #8B1B1B", +"[ c #891414", +"} c #FF7B7B", +"| c #881010", +"1 c #870E0E", +"2 c #AB8383", +"3 c #AB8484", +"4 c #D8B1B1", +"5 c #D7B0B0", +"6 c #D70606", +"7 c #D70505", +"8 c #D70404", +"9 c #D80707", +"0 c #D7AFAF", +"a c #933434", +"b c #A56E6E", +"c c #5A0909", +"d c #830909", +"e c #7D7D7D", +"f c #3F3F3F", +"g c #2A2A2A", +"h c #A7A7A7", +"i c #151515", +"j c #696969", +"k c #545454", +"l c #939393", +"m c #000000", +".+@@@@@@@@@@@@@@@@@@@@@@@@@@@@@.", +".#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$.", +".#$##%%%%%&&********=-#######;$.", +".#$......>,,,,,,,,,,,,,>.....#$.", +".#$.....>,,,,,,,,,,,,,,'>....#$.", +".%$....>,,,,,,,,,,,,,,,,,>...#$.", +".%)...>,,,,,,,,,,,,,,,,,,,>..#$.", +".!~...,,,,,,,,,,,,,,,,,,,,>..#$.", +".{]...,,,,,,,,,,,,,,,,,,,,,..#$.", +".^/...,,>>>>>>>>>>>>>>>>>,,..#$.", +".(/...,>>>>>>>>>>>>>>>>>>>,..#$.", +".(_...,>>>>>>>>>>>>>>>>>>>,..#$.", +".:_...,,>>>>>>>>>>>>>>>>>,,..#$.", +".:<...,,,,,,,,,,,,,,,,,,,,,..#$.", +".![...},,,,,,,,,,,,,,,,,,,>..#$.", +".!|...},,,,,,,,,,,,,,,,,,,>..#$.", +".%)...>,,,,,,,,,,,,,,,,,,>>..#$.", +".%1...>>,,,,,,,,,,,,,,,,>>...#$.", +".#$....>>,,,,,,,,,,,,,,>>....#$.", +".#$.....>',,,,,,,,,,,,>>.....#$.", +".#$@@@@234566778996660@@@@@@@a$.", +".#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$.", +".b#############cd##############.", +"................................", +"......effg.he...................", +"......ff...gij.jfk.lfefj........", +"......hiih.ef.jf.fj.fkhil.......", +"........ji.ef.fe.ef.fe.fe.......", +"......j.hm.ef.jf.fk.fjhil.......", +"......effl..kj.jfk..fkfe........", +"...................hgk..........", +"................................"}; diff --git a/images/isabelle-badge.xcf b/images/isabelle-badge.xcf Binary files differnew file mode 100644 index 00000000..ad5de7bd --- /dev/null +++ b/images/isabelle-badge.xcf diff --git a/images/lego-badge.xcf b/images/lego-badge.xcf Binary files differnew file mode 100644 index 00000000..c0a2985d --- /dev/null +++ b/images/lego-badge.xcf diff --git a/images/next.8bit.xpm b/images/next.8bit.xpm new file mode 100644 index 00000000..96ba38c8 --- /dev/null +++ b/images/next.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * next_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #020204", +"+ c #860E0C", +"@ c #3B2C2A", +"# c #9A4644", +"$ c #6E6768", +"% c #7E7E7C", +"& c #AA8284", +"* c #BDBDBB", +"********************************", +"*****&&&&&&&&&&&&&&&&&&&&&&*****", +"*****#+++++++++++++++++++++*****", +"*****#+##################++*****", +"*****#+******************#+*****", +"*****#+******************#+*****", +"*****#+**+***************#+*****", +"*****#+**+++*************#+*****", +"*****#+**++++++**********#+*****", +"*****#+**++++++++********#+*****", +"*****#+**+++++++++++*****#+*****", +"*****#+**+++++++++++++***#+*****", +"*****#+**+++++++++++++***#+*****", +"*****#+**+++++++++++++***#+*****", +"*****#+**++++++++++******#+*****", +"*****#+**+++++++#********#+*****", +"*****#+**+++++&**********#+*****", +"*****#+**++$*************#+*****", +"*****#+**&***************#+*****", +"*****#+******************#+*****", +"*****#+******************#+*****", +"*****#+&&&&&&&&&&&&&&%&&&++*****", +"*****#+++++++++++++++++++++*****", +"*****&#####################*****", +"********************************", +"*******$.%*$.%*********%&*******", +"*******&.@*%$*&@$*$$$$$.@*******", +"*******$%.$@%%@%.*$@@%%@********", +"*******@*$.@*.@@**&.$*$@********", +"*******@**.@*.$*$*@$$*@@********", +"******$@%*%$*%@$%$$*@*%@%*******", +"********************************"}; diff --git a/images/next.xcf b/images/next.xcf Binary files differnew file mode 100644 index 00000000..55fa1782 --- /dev/null +++ b/images/next.xcf diff --git a/images/next.xpm b/images/next.xpm new file mode 100644 index 00000000..61db9a70 --- /dev/null +++ b/images/next.xpm @@ -0,0 +1,59 @@ +/* XPM */ +static char * next_xpm[] = { +"32 32 24 1", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #8D2121", +"& c #902D2D", +"* c #9E5959", +"= c #B09595", +"- c #8A1616", +"; c #A06262", +"> c #AC8888", +", c #933434", +"' c #A56E6E", +") c #696969", +"! c #000000", +"~ c #7D7D7D", +"{ c #545454", +"] c #151515", +"^ c #939393", +"/ c #A7A7A7", +"( c #3F3F3F", +"_ c #2A2A2A", +"................................", +".....+@@@@@@@@@@@@@@@@@@@@@.....", +".....#$$$$$$$$$$$$$$$$$$$$$.....", +".....#$##################%$.....", +".....#$..................#$.....", +".....#$..................#$.....", +".....#$..$...............#$.....", +".....#$..$$$.............#$.....", +".....#$..$$$$$$..........#$.....", +".....#$..$$$$$$$$........#$.....", +".....#$..$$$$$$$$$$$.....#$.....", +".....#$..$$$$$$$$$$$$$...#$.....", +".....#$..$$$$$$$$$$$$$...#$.....", +".....#$..$$$$$$$$$$$$&...#$.....", +".....#$..$$$$$$$$$$......#$.....", +".....#$..$$$$$$$*........#$.....", +".....#$..$$$$&=..........#$.....", +".....#$..$-;.............#$.....", +".....#$..>...............#$.....", +".....#$..................#$.....", +".....#$..................#$.....", +".....#$@@@@@@@@@@@@@@@@@@,$.....", +".....#$$$$$$$$$$$$$$$$$$$$$.....", +".....'#####################.....", +"................................", +".......)!~.{]^.........~/.......", +".......^]].~).^().{~)))!(.......", +".......)~])(~~(~].)__~~]........", +".......(/)]].]_(^./!).)(........", +"......._..]].!).)^()).((........", +"......)(^.~).~({^)).(^~(^.......", +"................................"}; diff --git a/images/notes.txt b/images/notes.txt new file mode 100644 index 00000000..ab7fc1c2 --- /dev/null +++ b/images/notes.txt @@ -0,0 +1,109 @@ +$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-text.8bit.gif b/images/pg-text.8bit.gif Binary files differnew file mode 100644 index 00000000..faf44286 --- /dev/null +++ b/images/pg-text.8bit.gif diff --git a/images/pg-text.gif b/images/pg-text.gif Binary files differnew file mode 100644 index 00000000..acab510e --- /dev/null +++ b/images/pg-text.gif diff --git a/images/pg-text.jpg b/images/pg-text.jpg Binary files differnew file mode 100644 index 00000000..e2f1d5e3 --- /dev/null +++ b/images/pg-text.jpg diff --git a/images/pg-text.xcf b/images/pg-text.xcf Binary files differnew file mode 100644 index 00000000..1b542378 --- /dev/null +++ b/images/pg-text.xcf diff --git a/images/pgicon.png b/images/pgicon.png Binary files differnew file mode 100644 index 00000000..233b15d2 --- /dev/null +++ b/images/pgicon.png diff --git a/images/pgmini.xpm b/images/pgmini.xpm new file mode 100644 index 00000000..a7153212 --- /dev/null +++ b/images/pgmini.xpm @@ -0,0 +1,241 @@ +/* XPM */ +static char * pgmini_xpm[] = { +"16 16 222 2", +" c None", +". c #291D00", +"+ c #231B00", +"@ c #1A0F00", +"# c #0F0000", +"$ c #0A0000", +"% c #000000", +"& c #004512", +"* c #00430F", +"= c #0D5C13", +"- c #003C0B", +"; c #120000", +"> c #241600", +", c #281D00", +"' c #221B00", +") c #312200", +"! c #251B00", +"~ c #1D1300", +"{ c #100000", +"] c #0E0000", +"^ c #001C00", +"/ c #026424", +"( c #00510A", +"_ c #044D09", +": c #FFFF97", +"< c #1A6A21", +"[ c #050000", +"} c #1A0E00", +"| c #2A2200", +"1 c #292200", +"2 c #2D2200", +"3 c #1D1600", +"4 c #150C00", +"5 c #061200", +"6 c #005915", +"7 c #1B5F09", +"8 c #759E32", +"9 c #707B37", +"0 c #7E8640", +"a c #125322", +"b c #020F00", +"c c #0B0200", +"d c #201700", +"e c #272100", +"f c #2F2301", +"g c #181000", +"h c #030000", +"i c #011700", +"j c #004C09", +"k c #445E26", +"l c #936D4A", +"m c #7E4B46", +"n c #6C3E45", +"o c #1F2316", +"p c #1C1400", +"q c #272000", +"r c #150F00", +"s c #070100", +"t c #3D602F", +"u c #FFCDB1", +"v c #FFBFB7", +"w c #F9B5B5", +"x c #3F3130", +"y c #010000", +"z c #010100", +"A c #181200", +"B c #221900", +"C c #0E0700", +"D c #100A00", +"E c #080000", +"F c #956F54", +"G c #FFDDC0", +"H c #FFBFAB", +"I c #825A45", +"J c #CD8D80", +"K c #4A4130", +"L c #060A00", +"M c #020500", +"N c #0B0700", +"O c #160F00", +"P c #0E0400", +"Q c #150E00", +"R c #0F0900", +"S c #FFD5AF", +"T c #FFF3CE", +"U c #FFB093", +"V c #C66658", +"W c #60402A", +"X c #0B0100", +"Y c #373228", +"Z c #1E2019", +"` c #0A0600", +" . c #161000", +".. c #090100", +"+. c #150A00", +"@. c #070000", +"#. c #FFD7B6", +"$. c #FFEBC6", +"%. c #FFAD92", +"&. c #D3856F", +"*. c #482B16", +"=. c #2F2014", +"-. c #171508", +";. c #181100", +">. c #060000", +",. c #140100", +"'. c #140300", +"). c #000700", +"!. c #AA7D7E", +"~. c #F59D87", +"{. c #FFA684", +"]. c #FFC8AF", +"^. c #433321", +"/. c #050400", +"(. c #080500", +"_. c #1D1700", +":. c #020000", +"<. c #182210", +"[. c #162711", +"}. c #0F230C", +"|. c #081C04", +"1. c #001904", +"2. c #001E12", +"3. c #919A9F", +"4. c #A88DBD", +"5. c #9FA5AF", +"6. c #0A0300", +"7. c #060300", +"8. c #080200", +"9. c #130D00", +"0. c #131B0C", +"a. c #193426", +"b. c #1A2E1E", +"c. c #122719", +"d. c #092012", +"e. c #001606", +"f. c #093418", +"g. c #063218", +"h. c #654B74", +"i. c #D8C4F9", +"j. c #001401", +"k. c #0E0500", +"l. c #110400", +"m. c #0E0300", +"n. c #0A0400", +"o. c #2B4A2B", +"p. c #264628", +"q. c #2E462B", +"r. c #223B21", +"s. c #162E14", +"t. c #122B14", +"u. c #153716", +"v. c #0B320D", +"w. c #182420", +"x. c #5B3C70", +"y. c #0E2D1B", +"z. c #7C8D76", +"A. c #372913", +"B. c #120600", +"C. c #0B0300", +"D. c #0D0600", +"E. c #2D4C2C", +"F. c #294226", +"G. c #314D2F", +"H. c #304C2E", +"I. c #2B4728", +"J. c #233C22", +"K. c #10270F", +"L. c #19341A", +"M. c #133A16", +"N. c #0B2915", +"O. c #15421F", +"P. c #92A190", +"Q. c #B1A09C", +"R. c #0E0600", +"S. c #2C462A", +"T. c #243D22", +"U. c #3C563A", +"V. c #2C472A", +"W. c #203D1C", +"X. c #192F18", +"Y. c #010903", +"Z. c #000F00", +"`. c #193219", +" + c #173319", +".+ c #0D2912", +"++ c #51534C", +"@+ c #B7ABAE", +"#+ c #161A06", +"$+ c #0B0000", +"%+ c #180800", +"&+ c #253F24", +"*+ c #263F25", +"=+ c #3B533A", +"-+ c #233D21", +";+ c #21391F", +">+ c #263222", +",+ c #2F371F", +"'+ c #2F3E1D", +")+ c #1E361D", +"!+ c #0F2B0F", +"~+ c #354833", +"{+ c #FFFFFF", +"]+ c #385139", +"^+ c #0F0E00", +"/+ c #270E00", +"(+ c #2A391E", +"_+ c #2A4323", +":+ c #2F3819", +"<+ c #1F321A", +"[+ c #2D4825", +"}+ c #314928", +"|+ c #1B3419", +"1+ c #223E25", +"2+ c #233625", +"3+ c #123214", +"4+ c #152C0E", +"5+ c #19311E", +"6+ c #1A3F1B", +"7+ c #072716", +"8+ c #233314", +"9+ c #1A0C00", +". + @ # # $ % & * = - ; $ > , ' ", +") ! ~ { ] ^ / ( _ : < % [ } | 1 ", +"2 3 4 # 5 6 7 8 9 0 a b % c d e ", +"f g [ h i j k l m n % o % [ p q ", +"3 r s % % t u v % w x y y z A B ", +"C D E % % F G H I J K % L M N O ", +"P Q R % % h S T U V W X Y Z ` .", +"..D +.@.% % #.$.%.&.*.c =.-.` ;.", +">.,.'.$ h ).!.~.{.].^.% % /.(._.", +":.<.[.}.|.1.2.3.4.5.% y 6.7.8.9.", +"0.a.b.c.d.e.f.g.h.i.j.% k.l.m.n.", +"o.p.q.r.s.t.u.v.w.x.y.z.A.B.C.D.", +"E.F.G.H.I.J.K.L.M.N.O.P.Q.[ ] R.", +"S.T.U.V.W.X.Y.Z.`. +.+++@+#+$+%+", +"&+*+=+-+;+>+,+'+)+`.!+~+{+]+^+/+", +"(+_+:+<+[+}+|+1+2+3+4+5+6+7+8+9+"}; diff --git a/images/qed.8bit.xpm b/images/qed.8bit.xpm new file mode 100644 index 00000000..eede5c5b --- /dev/null +++ b/images/qed.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * qed_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #161210", +"+ c #C2C0BD", +"@ c #A38B85", +"# c #860E0C", +"$ c #615047", +"% c #954F4D", +"& c #372D2A", +"* c #563938", +"++++++++++++++++++++++++++++++++", +"+@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@+", +"+%#############################+", +"+%#%%%%%%%%%%%%%%%%%%%%%%%%%%##+", +"+.........#.&..................+", +"+....#.#.&**$#&#&.&....&&*&....+", +"+..**&&&&#$%%%*&&&&&&.&&&+@&...+", +"+.&%@%*&&%@++%****&*&&&&$+@*...+", +"+.&%+@**#*@++@%$$@$*&&&&$$$&...+", +"+.&*%%***%@++%*$@+@$&&$$$&&&&..+", +"+.#&&*%**%%%%%$*$@$$&$$&&&$&...+", +"+..&&&&%$%%%%***$$&$$$&&&$$*&..+", +"+&&&&&&***$$%****$$$$&$&$$+@...+", +"+.&&*******$%$&$&$$$$&&&$$+$&..+", +"+&****$*$%%%%$*&$$@@$$$&$$$$&..+", +"+**%%%$**%++%$&&$$@++@$&&&&&...+", +"+&$++@$**$%%$$**$$++++&&&......+", +"+*%++@$******$&$$$+@@$$&&&.....+", +"+&*@@%$*&&&&*$$&&&+@*&&.&......+", +"+&&**@%&&&&&&$$$$+&&&&.........+", +"+.&&&&$%&..&&@$$++$..&.........+", +"+.&.&&&%.....**$*&.............+", +"+%#############################+", +"+%%%%%%%%%%%%%%%%%%%%%%%*%%%%%%+", +"++++++++++++++++++++++++++@+++++", +"++++$&*.$+++@.&&.+++$.*&&@++@+++", +"+++@.++$.++++.@+++++@.++*$++++++", +"+++.$++@.+++@.&.++++$&++&&++++++", +"+++.@++.$+++@.+@++++&$++.@++++++", +"@++.$+$.+$$+$&+@@$@+.@+&&+*@@+++", +"+++@&&$++$@@&$&&+&+$$&&@++&+++++", +"++++++$$&+++++++++++++++++++++++"}; diff --git a/images/qed.xcf b/images/qed.xcf Binary files differnew file mode 100644 index 00000000..48dc1d43 --- /dev/null +++ b/images/qed.xcf diff --git a/images/qed.xpm b/images/qed.xpm new file mode 100644 index 00000000..f88586e7 --- /dev/null +++ b/images/qed.xpm @@ -0,0 +1,573 @@ +/* XPM */ +static char * qed_xpm[] = { +"32 32 538 2", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #994848", +"& c #8D2121", +"* c #140B0D", +"= c #1A0F10", +"- c #1E1112", +"; c #231414", +"> c #241514", +", c #241513", +"' c #2B1916", +") c #321D18", +"! c #36201A", +"~ c #422922", +"{ c #432B24", +"] c #38251F", +"^ c #2A1A16", +"/ c #2A1D17", +"( c #281D18", +"_ c #221916", +": c #1F1815", +"< c #1A1512", +"[ c #191513", +"} c #1C1A14", +"| c #1C1B16", +"1 c #1B1B15", +"2 c #1F2219", +"3 c #1B1F15", +"4 c #161A12", +"5 c #12140F", +"6 c #090A07", +"7 c #040503", +"8 c #010101", +"9 c #1B1112", +"0 c #221515", +"a c #2B1A19", +"b c #2F1C1B", +"c c #321E1B", +"d c #331E1C", +"e c #351F1C", +"f c #3E231D", +"g c #502E25", +"h c #663F33", +"i c #653F34", +"j c #462A21", +"k c #3E2821", +"l c #37251F", +"m c #30231E", +"n c #2D221F", +"o c #29211D", +"p c #201B17", +"q c #1E1A15", +"r c #1D1A15", +"s c #1C1C15", +"t c #212219", +"u c #2B3223", +"v c #394932", +"w c #2B3826", +"x c #171D13", +"y c #0E100B", +"z c #080907", +"A c #050604", +"B c #1F1315", +"C c #301F1E", +"D c #422926", +"E c #50302C", +"F c #4A2C28", +"G c #412723", +"H c #3D2420", +"I c #462923", +"J c #502C22", +"K c #784333", +"L c #B36A50", +"M c #A15E47", +"N c #6D4030", +"O c #57372D", +"P c #442F27", +"Q c #3A2B25", +"R c #352A25", +"S c #2F2622", +"T c #2A241F", +"U c #2A241E", +"V c #24211A", +"W c #22211A", +"X c #25281D", +"Y c #394831", +"Z c #A4C096", +"` c #6D8D64", +" . c #263221", +".. c #171B13", +"+. c #0D0F0A", +"@. c #231617", +"#. c #362221", +"$. c #704540", +"%. c #CF988B", +"&. c #945D53", +"*. c #512F2B", +"=. c #452823", +"-. c #4B2A23", +";. c #693A2D", +">. c #B86547", +",. c #FDD0A5", +"'. c #F2B385", +"). c #AD6248", +"!. c #6A4334", +"~. c #50382F", +"{. c #473731", +"]. c #4B3F39", +"^. c #413833", +"/. c #3F3731", +"(. c #363029", +"_. c #302C24", +":. c #2C2B22", +"<. c #303225", +"[. c #49573C", +"}. c #9FB990", +"|. c #7C9B71", +"1. c #384330", +"2. c #23271D", +"3. c #161712", +"4. c #0E0F0B", +"5. c #27191A", +"6. c #402929", +"7. c #80504A", +"8. c #F0BEB2", +"9. c #BC8175", +"0. c #5D3934", +"a. c #50302B", +"b. c #56312A", +"c. c #7A4536", +"d. c #DB8059", +"e. c #FEFBED", +"f. c #FEE8CA", +"g. c #D27D5B", +"h. c #835544", +"i. c #6A4F44", +"j. c #685852", +"k. c #7A7472", +"l. c #635C57", +"m. c #474039", +"n. c #3A332C", +"o. c #322D26", +"p. c #2E2C23", +"q. c #414635", +"r. c #59654C", +"s. c #546349", +"t. c #3F4934", +"u. c #2B3023", +"v. c #1C1E16", +"w. c #181812", +"x. c #141410", +"y. c #27191B", +"z. c #392526", +"A. c #523433", +"B. c #774C48", +"C. c #7F534D", +"D. c #613E39", +"E. c #50312D", +"F. c #56332D", +"G. c #7A493D", +"H. c #CD7E60", +"I. c #F2AE81", +"J. c #E79064", +"K. c #9A5942", +"L. c #6D4639", +"M. c #634A41", +"N. c #867E7A", +"O. c #F0E4CB", +"P. c #7E7D78", +"Q. c #4C453D", +"R. c #3E3730", +"S. c #38322A", +"T. c #4D5140", +"U. c #555C48", +"V. c #333326", +"W. c #38392A", +"X. c #36372A", +"Y. c #2A2B20", +"Z. c #201F18", +"`. c #191813", +" + c #100E0B", +".+ c #27191D", +"++ c #312023", +"@+ c #402A2C", +"#+ c #493031", +"$+ c #533635", +"%+ c #6A4642", +"&+ c #5C3B38", +"*+ c #623F3B", +"=+ c #784D44", +"-+ c #8C5547", +";+ c #945643", +">+ c #9D5E47", +",+ c #764A3A", +"'+ c #604035", +")+ c #594239", +"!+ c #655751", +"~+ c #8B8680", +"{+ c #645E57", +"]+ c #4E453C", +"^+ c #413A30", +"/+ c #555845", +"(+ c #4E503F", +"_+ c #342F26", +":+ c #353025", +"<+ c #3E392C", +"[+ c #3F392E", +"}+ c #312D23", +"|+ c #27241D", +"1+ c #181611", +"2+ c #0F0E0A", +"3+ c #26191F", +"4+ c #2F1F24", +"5+ c #3A272B", +"6+ c #3D292D", +"7+ c #3F292C", +"8+ c #503536", +"9+ c #6A4845", +"0+ c #6B4946", +"a+ c #67433E", +"b+ c #6D463E", +"c+ c #7B4D41", +"d+ c #915C47", +"e+ c #5D3B32", +"f+ c #573C34", +"g+ c #533D35", +"h+ c #56453D", +"i+ c #5C4F46", +"j+ c #4C4138", +"k+ c #4B4136", +"l+ c #5A5846", +"m+ c #51513F", +"n+ c #342D23", +"o+ c #342E24", +"p+ c #40382B", +"q+ c #534638", +"r+ c #665544", +"s+ c #4D4034", +"t+ c #2B251D", +"u+ c #191611", +"v+ c #11100C", +"w+ c #2B1D23", +"x+ c #322229", +"y+ c #3C2A31", +"z+ c #3E2A31", +"A+ c #402B30", +"B+ c #472F33", +"C+ c #654748", +"D+ c #5F4040", +"E+ c #614140", +"F+ c #62403E", +"G+ c #6C453F", +"H+ c #825344", +"I+ c #583931", +"J+ c #523A33", +"K+ c #533E36", +"L+ c #544238", +"M+ c #544539", +"N+ c #504637", +"O+ c #595342", +"P+ c #575340", +"Q+ c #3D3427", +"R+ c #3B3227", +"S+ c #3F3529", +"T+ c #483C2F", +"U+ c #886F5B", +"V+ c #E1CFB9", +"W+ c #7C6250", +"X+ c #332A22", +"Y+ c #1F1A14", +"Z+ c #15110E", +"`+ c #31222A", +" @ c #3B2A33", +".@ c #46323C", +"+@ c #48333C", +"@@ c #483139", +"#@ c #50393F", +"$@ c #523A3F", +"%@ c #5A3E41", +"&@ c #614144", +"*@ c #5F3D3F", +"=@ c #674341", +"-@ c #8A5847", +";@ c #774F41", +">@ c #503A34", +",@ c #513C35", +"'@ c #544237", +")@ c #594B3B", +"!@ c #5E533F", +"~@ c #686047", +"{@ c #514430", +"]@ c #423727", +"^@ c #403627", +"/@ c #3B3125", +"(@ c #473B2D", +"_@ c #7B6452", +":@ c #C6AC95", +"<@ c #7B6352", +"[@ c #3B3128", +"}@ c #231E18", +"|@ c #17130F", +"1@ c #33222C", +"2@ c #493441", +"3@ c #58414E", +"4@ c #5B4250", +"5@ c #573F4A", +"6@ c #5D444E", +"7@ c #573E46", +"8@ c #5B3E44", +"9@ c #67434A", +"0@ c #905C67", +"a@ c #8D5C64", +"b@ c #87594F", +"c@ c #724C41", +"d@ c #4A3531", +"e@ c #4C3931", +"f@ c #544236", +"g@ c #696048", +"h@ c #796D4E", +"i@ c #958154", +"j@ c #77653F", +"k@ c #5C4E34", +"l@ c #463B2A", +"m@ c #473C2D", +"n@ c #4F4335", +"o@ c #56483A", +"p@ c #635244", +"q@ c #493C31", +"r@ c #302821", +"s@ c #1E1914", +"t@ c #110D0B", +"u@ c #463340", +"v@ c #543C4C", +"w@ c #7A5C71", +"x@ c #805F76", +"y@ c #795C6E", +"z@ c #634956", +"A@ c #583E48", +"B@ c #5F4249", +"C@ c #845963", +"D@ c #ECBCC1", +"E@ c #DAA5AC", +"F@ c #7B504F", +"G@ c #734C41", +"H@ c #48332E", +"I@ c #43322B", +"J@ c #544839", +"K@ c #6B6247", +"L@ c #A28C59", +"M@ c #F8EBCB", +"N@ c #E9DAAC", +"O@ c #99885E", +"P@ c #665940", +"Q@ c #493F2F", +"R@ c #372E23", +"S@ c #342B22", +"T@ c #312720", +"U@ c #272019", +"V@ c #1B1511", +"W@ c #13100C", +"X@ c #0E0A08", +"Y@ c #43303E", +"Z@ c #6D5168", +"`@ c #BF98B9", +" # c #E5C7E1", +".# c #9B7693", +"+# c #624758", +"@# c #543B47", +"## c #553B44", +"$# c #67454E", +"%# c #895665", +"&# c #90606C", +"*# c #5F3E3F", +"=# c #744C3F", +"-# c #4B352E", +";# c #45372F", +"># c #5B5341", +",# c #66553E", +"'# c #AB9561", +")# c #FDF1DB", +"!# c #F8EAC7", +"~# c #938155", +"{# c #4D412D", +"]# c #362D20", +"^# c #2C241B", +"/# c #29221B", +"(# c #251E18", +"_# c #1E1813", +":# c #0F0C09", +"<# c #0A0707", +"[# c #4A3746", +"}# c #73566E", +"|# c #D9B5D5", +"1# c #FDF3FC", +"2# c #B48BAC", +"3# c #705567", +"4# c #59424E", +"5# c #4E3841", +"6# c #4C353D", +"7# c #4D333A", +"8# c #563C40", +"9# c #4C3536", +"0# c #7B5140", +"a# c #4A362F", +"b# c #504B3E", +"c# c #473B2F", +"d# c #514231", +"e# c #A28D5B", +"f# c #9C895B", +"g# c #615338", +"h# c #4A402E", +"i# c #332B1F", +"j# c #272018", +"k# c #211B15", +"l# c #1C1814", +"m# c #181411", +"n# c #100F0B", +"o# c #0C0A08", +"p# c #080605", +"q# c #3D2C3A", +"r# c #5A4255", +"s# c #886682", +"t# c #A881A1", +"u# c #806279", +"v# c #5D4655", +"w# c #493540", +"x# c #402E36", +"y# c #3E2B32", +"z# c #3D2A30", +"A# c #433034", +"B# c #453232", +"C# c #764E3E", +"D# c #51453A", +"E# c #443B32", +"F# c #3D332A", +"G# c #43382C", +"H# c #5C4F3A", +"I# c #534632", +"J# c #3F3526", +"K# c #2E271C", +"L# c #29231A", +"M# c #28221B", +"N# c #201B15", +"O# c #191512", +"P# c #12100D", +"Q# c #080706", +"R# c #050404", +"S# c #332430", +"T# c #3E2C3A", +"U# c #553F50", +"V# c #5C4557", +"W# c #3C2C36", +"X# c #37272F", +"Y# c #302228", +"Z# c #2D1F24", +"`# c #322427", +" $ c #3E2F2E", +".$ c #825A47", +"+$ c #615443", +"@$ c #594638", +"#$ c #423B30", +"$$ c #F5E8C5", +"%$ c #4A4034", +"&$ c #332A20", +"*$ c #2F271D", +"=$ c #352C22", +"-$ c #221C15", +";$ c #1D1713", +">$ c #1B1612", +",$ c #191511", +"'$ c #181412", +")$ c #12110E", +"!$ c #0C0B09", +"~$ c #070605", +"{$ c #040303", +"]$ c #251923", +"^$ c #31232E", +"/$ c #382935", +"($ c #3F2F3B", +"_$ c #3C2D38", +":$ c #2C1F26", +"<$ c #291E23", +"[$ c #281D22", +"}$ c #291D20", +"|$ c #332B29", +"1$ c #7D6A52", +"2$ c #645442", +"3$ c #755540", +"4$ c #F3D9B5", +"5$ c #322B23", +"6$ c #241D17", +"7$ c #201914", +"8$ c #261F19", +"9$ c #1C1713", +"0$ c #16120F", +"a$ c #130F0D", +"b$ c #100D0A", +"c$ c #100C0B", +"d$ c #0E0C0A", +"e$ c #070606", +"f$ c #030302", +"g$ c #1C131B", +"h$ c #281D26", +"i$ c #261A23", +"j$ c #2E222B", +"k$ c #2B2029", +"l$ c #2E222A", +"m$ c #23191F", +"n$ c #21171C", +"o$ c #1F161A", +"p$ c #22181C", +"q$ c #261E1F", +"r$ c #573C30", +"s$ c #50372C", +"t$ c #3D2921", +"u$ c #33221C", +"v$ c #28201D", +"w$ c #1A1412", +"x$ c #181311", +"y$ c #16110F", +"z$ c #171210", +"A$ c #0D0909", +"B$ c #0B0807", +"C$ c #020202", +"D$ c #A56E6E", +"E$ c #7D7D7D", +"F$ c #2A2A2A", +"G$ c #3F3F3F", +"H$ c #151515", +"I$ c #939393", +"J$ c #696969", +"K$ c #000000", +"L$ c #A7A7A7", +"M$ c #545454", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ", +". + @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". # $ # # % % % % % % % # # # # % % % % # # # # # # # # # & $ . ", +". * = - ; > > , ' ) ! ~ { ] ^ / ( _ : < [ } | 1 2 3 4 5 6 7 8 . ", +". 9 0 a b c d e ) f g h i j k l m n o p q r s t u v w x y z A . ", +". B C D E F G H I J K L M N O P Q R S T U V W X Y Z ` ...+.z . ", +". @.#.$.%.&.*.=.-.;.>.,.'.).!.~.{.].^./.(._.:.<.[.}.|.1.2.3.4.. ", +". 5.6.7.8.9.0.a.b.c.d.e.f.g.h.i.j.k.l.m.n.o.p.q.r.s.t.u.v.w.x.. ", +". y.z.A.B.C.D.E.F.G.H.I.J.K.L.M.N.O.P.Q.R.S.T.U.V.W.X.Y.Z.`. +. ", +". .+++@+#+$+%+&+*+=+-+;+>+,+'+)+!+~+{+]+^+/+(+_+:+<+[+}+|+1+2+. ", +". 3+4+5+6+7+8+9+0+a+b+c+d+e+f+g+h+i+j+k+l+m+n+o+p+q+r+s+t+u+v+. ", +". w+x+y+z+A+B+C+D+E+F+G+H+I+J+K+L+M+N+O+P+Q+R+S+T+U+V+W+X+Y+Z+. ", +". `+ @.@+@@@#@$@%@&@*@=@-@;@>@,@'@)@!@~@{@]@^@/@(@_@:@<@[@}@|@. ", +". 1@2@3@4@5@6@7@8@9@0@a@b@c@d@e@f@g@h@i@j@k@l@m@n@o@p@q@r@s@t@. ", +". u@v@w@x@y@z@A@B@C@D@E@F@G@H@I@J@K@L@M@N@O@P@Q@R@S@T@U@V@W@X@. ", +". Y@Z@`@ #.#+#@###$#%#&#*#=#-#;#>#,#'#)#!#~#{#]#^#/#(#_#Z+:#<#. ", +". [#}#|#1#2#3#4#5#6#7#8#9#0#a#b#c#d#!#e#f#g#h#i#j#k#l#m#n#o#p#. ", +". q#r#s#t#u#v#w#x#y#z#A#B#C#D#E#F#G#!#H#I#J#K#L#M#N#O#P#o#Q#R#. ", +". S#T#U#V#u#u#W#X#Y#Z#`# $.$+$@$#$$$%$&$*$=$-$;$>$,$'$)$!$~${$. ", +". ]$^$/$($_$u#u#:$<$[$}$|$1$2$3$4$!#5$6$7$8$9$0$a$b$c$d$o#e$f$. ", +". g$h$i$j$k$l$u#m$n$o$p$q$r$s$t$u$v$w$x$y$z$< t@A$B$<#Q#~${$C$. ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". D$# # # # # # # # # # # # # # # # # # # # # # # # # # # # # . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ", +". . . . E$F$G$H$E$. . . I$H$F$G$F$. . . J$K$G$G$F$L$. . . . . . ", +". . . E$H$L$. J$K$. . . . H$E$. . . . . I$H$. . G$G$. . . . . . ", +". . . H$J$. . E$K$. . . L$K$G$F$. . . . J$G$. . G$G$. . . . . . ", +". . . K$E$. . F$M$. . . E$H$. I$. . . . G$M$. . H$E$. . . . . . ", +". . . H$J$. J$F$L$E$J$. M$G$. I$I$M$I$. H$E$. G$G$. M$I$. . . . ", +". . . I$G$F$G$. . J$E$I$G$G$G$G$. G$L$J$G$G$G$J$. . G$L$. . . . ", +". . . . . . J$M$G$L$. . . . . . . . . . . . . . . . . . . . . . "}; diff --git a/images/restart.8bit.xpm b/images/restart.8bit.xpm new file mode 100644 index 00000000..82f3d255 --- /dev/null +++ b/images/restart.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * restart_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #020204", +"+ c #860E0C", +"@ c #353230", +"# c #9A4644", +"$ c #7D5E5C", +"% c #797574", +"& c #AA8284", +"* c #BDBDBB", +"********************************", +"*****&&&&&&&&&&&&&&&&&&&&&&*****", +"*****#+++++++++++++++++++++*****", +"*****#+##################++*****", +"*****#+******************#+*****", +"*****#+*******$+++$******#+*****", +"*****#+*****$+++++++*****#+*****", +"*****#+****&+++++++++****#+*****", +"*****#+****+++$****$+****#+*****", +"*****#+***+++&******+****#+*****", +"*****#+*+++++++****+++***#+*****", +"*****#+*&++++++***+++++**#+*****", +"*****#+**+++++***++++++&*#+*****", +"*****#+***+++****+++++++*#+*****", +"*****#+****+******$+++***#+*****", +"*****#+****+#****#+++****#+*****", +"*****#+****+++++++++$****#+*****", +"*****#+*****+++++++$*****#+*****", +"*****#+******$+++&*******#+*****", +"*****#+******************#+*****", +"*****#+******************#+*****", +"*****#+&&&&&&&&&&&&&&&&&&++*****", +"*****#+++++++++++++++++++++*****", +"*****$#####################*****", +"********************************", +"**$.@.%**********%&***********%*", +"**%.*$$*&$@*&$@%%.@**@@@*@$%%@.%", +"**$@%.&*@*.&@@&*&.**.*%@*@@%&@$*", +"**@$.%*$.@%**.@*%@*%@*.$*.$**@%*", +"**.&%.*@@*&&%*.%@@*@@$@%*.***.%*", +"*%@%*@%*@@%*@@%*%$&%@*@%%@***$@*", +"********************************"}; diff --git a/images/restart.xcf b/images/restart.xcf Binary files differnew file mode 100644 index 00000000..8b10079e --- /dev/null +++ b/images/restart.xcf diff --git a/images/restart.xpm b/images/restart.xpm new file mode 100644 index 00000000..92724495 --- /dev/null +++ b/images/restart.xpm @@ -0,0 +1,55 @@ +/* XPM */ +static char * restart_xpm[] = { +"32 32 20 1", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #8D2121", +"& c #A26767", +"* c #A97E7E", +"= c #933434", +"- c #A56E6E", +"; c #696969", +"> c #000000", +", c #3F3F3F", +"' c #151515", +") c #7D7D7D", +"! c #A7A7A7", +"~ c #545454", +"{ c #2A2A2A", +"] c #939393", +"................................", +".....+@@@@@@@@@@@@@@@@@@@@@.....", +".....#$$$$$$$$$$$$$$$$$$$$$.....", +".....#$##################%$.....", +".....#$..................#$.....", +".....#$.......&$$$&......#$.....", +".....#$.....&$$$$$$$.....#$.....", +".....#$....&$$$$$$$$$....#$.....", +".....#$....$$$&....&$....#$.....", +".....#$...$$$&......$....#$.....", +".....#$.$$$$$$$....$$$...#$.....", +".....#$.*$$$$$$...$$$$$..#$.....", +".....#$..$$$$$...$$$$$$*.#$.....", +".....#$...$$$....$$$$$$$.#$.....", +".....#$....$......&$$$...#$.....", +".....#$....$&....&$$$....#$.....", +".....#$....$$$$$$$$$&....#$.....", +".....#$.....$$$$$$$&.....#$.....", +".....#$......&$$$&.......#$.....", +".....#$..................#$.....", +".....#$..................#$.....", +".....#$@@@@@@@@@@@@@@@@@@=$.....", +".....#$$$$$$$$$$$$$$$$$$$$$.....", +".....-#####################.....", +"................................", +"..;>,')..........)!..........!).", +"..)'.,~.!~~!!~,);>,.!~,,.,;)){';", +"..~{;'!!{!>],{!!)'..'!){.,,;],~.", +"..,~').~',;.!',.;,.;,.'~.>~..{).", +"..>];'!,{.]];!>),,.,{~{)!>...>).", +".;,;.,;!,,).,,;.),]),!,;],...~,.", +"................................"}; diff --git a/images/retract.8bit.xpm b/images/retract.8bit.xpm new file mode 100644 index 00000000..6cfac9da --- /dev/null +++ b/images/retract.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * retract_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #020204", +"+ c #860E0C", +"@ c #3A3231", +"# c #9A4644", +"$ c #686263", +"% c #807D7B", +"& c #AA8284", +"* c #BDBCBA", +"********************************", +"*****&&&&&&&&&&&&&&&&&&&&&&*****", +"*****#+++++++++++++++++++++*****", +"*****#+##################++*****", +"*****#+******************#+*****", +"*****#+******************#+*****", +"*****#+**&+++++++++++++**#+*****", +"*****#+**&+++++++++++++**#+*****", +"*****#+********+++*******#+*****", +"*****#+*******+++++******#+*****", +"*****#+*******+++++******#+*****", +"*****#+******++++++#*****#+*****", +"*****#+******+++++++*****#+*****", +"*****#+*****++++++++&****#+*****", +"*****#+*****++++++++#****#+*****", +"*****#+****#+++++++++****#+*****", +"*****#+****++++++++++$***#+*****", +"*****#+****+++++++++++***#+*****", +"*****#+**&++++++++++++&**#+*****", +"*****#+******************#+*****", +"*****#+******************#+*****", +"*****#+&&&&&&&&&&&&&&&&&&#+*****", +"*****#+++++++++++++++++++++*****", +"*****&#####################*****", +"********************************", +"*$.@.%******%****************%**", +"*%.*@$*&$$&$.@&@&$*&$@@**$@$$.@*", +"*$@$@&*@*.&%.**.$%*.*%@*@@*$%.**", +"*@$.%*$.@$*%@*%.%*$@*.$%.***%@**", +"*.%$.*@@*%%$@*%@**@@$@%%.***@@**", +"$@%*@$*@$%*%@%%$**%@*@$*$@$*%$%*", +"********************************"}; diff --git a/images/retract.xcf b/images/retract.xcf Binary files differnew file mode 100644 index 00000000..e0a81c8c --- /dev/null +++ b/images/retract.xcf diff --git a/images/retract.xpm b/images/retract.xpm new file mode 100644 index 00000000..8ffdfdd4 --- /dev/null +++ b/images/retract.xpm @@ -0,0 +1,62 @@ +/* XPM */ +static char * retract_xpm[] = { +"32 32 27 1", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #8D2121", +"& c #860C0C", +"* c #9E5959", +"= c #B09595", +"- c #902D2D", +"; c #A16363", +"> c #A06262", +", c #B29A9A", +"' c #8A1616", +") c #AC8888", +"! c #933434", +"~ c #A56E6E", +"{ c #696969", +"] c #000000", +"^ c #3F3F3F", +"/ c #151515", +"( c #7D7D7D", +"_ c #A7A7A7", +": c #545454", +"< c #939393", +"[ c #2A2A2A", +"................................", +".....+@@@@@@@@@@@@@@@@@@@@@.....", +".....#$$$$$$$$$$$$$$$$$$$$$.....", +".....#$##################%$.....", +".....#$..................#$.....", +".....#$..................#$.....", +".....#$..@$$$$$$$&$$$$$..#$.....", +".....#$..@$$$$$$$$$$$$$..#$.....", +".....#$........$$$.......#$.....", +".....#$.......$$$$$......#$.....", +".....#$.......$$$$$......#$.....", +".....#$......$$$$$$*.....#$.....", +".....#$......$$$$$$$.....#$.....", +".....#$.....$$$$$$$$=....#$.....", +".....#$.....$$$$$$$$-....#$.....", +".....#$....;$$$$$$$$$....#$.....", +".....#$....$$$$$$$$$$>...#$.....", +".....#$...,$$$$$$$$$$'...#$.....", +".....#$..,$$$$$$$$$$$$)..#$.....", +".....#$..................#$.....", +".....#$..................#$.....", +".....#$@@@@@@@@@@@@@@@@@@!$.....", +".....#$$$$$$$$$$$$$$$$$$$$$.....", +".....~#####################.....", +"................................", +".{]^/(......(_...............(_.", +".(/.^:._::_{]^<^<:__:^^..{^{{]^.", +".:[{/__[_]<(/..]:(_/_([.^^.{(/..", +".^:/(.:/^{.{^.(]<.{^./:<]...{^..", +".]<{/_^[.<<^^.{^..^[:[((]__.^^..", +"{^{.^{_^^(.(^<{{..(^_^{.:^{.(^<.", +"................................"}; diff --git a/images/state.8bit.xpm b/images/state.8bit.xpm new file mode 100644 index 00000000..40fbc6f7 --- /dev/null +++ b/images/state.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * state_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #050507", +"+ c #7F4644", +"@ c #8D7D7D", +"# c #BABAB9", +"$ c #FEFEFC", +"% c #1A1A1A", +"& c #EFEFF0", +"* c #781514", +"#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@#", +"#+*****************************#", +"#+*++++++++++++++++++++++++++**#", +"#+*##########################+*#", +"#+*######@@@######@@@@#######+*#", +"#+*####+*...%+###+%%..+@#####+*#", +"#+*###+%@&&&@++@%%&&&#+%@####+*#", +"#+*##@.&$&$$$#..+&&$$$$@%####+*#", +"#+*##%@&$$$$$$@.#$$$$$$&%+###+*#", +"#+*##.@$$$$$$$@.&$$$$$$&++@##+*#", +"#++##.#&$$$$$$#.$$$$$$$$%%@##+*#", +"#+*##.#$#@&$$$@.$&@#$$$$++@##+*#", +"#+*##.@#%.@$$$@.&@.%&$$&%%@##+*#", +"&+*##++#%%#$$&+.#@.%&$$#%@@##+*#", +"#+*##@%##&&$&#..%&#&$$#@%@@##+*#", +"#+*###@.+@@@+.+@%.@@@@%%@@@##+*#", +"#+*####@+%.%%@@@#@%%.%+@@@###+*#", +"#+*######@@@@@@####@@@@@@####+*#", +"#+*#######@@@#######@@@@#####+*#", +"#+*##########################+*#", +"#+*@#@@@@#@@@@@@@@@@#@@@@@@@@+*#", +"#+*****************************#", +"#@+++++++++++++++++++++++++++++#", +"#############&##################", +"#######*+%&@@#######@###########", +"######+%##@%%##@++@@.+##++######", +"######@%+##%@#+@#.#@%##%#.@#####", +"########%+#.##.#+%#++#+.+@######", +"#####@@#%@@.#@.@%+#%+#%%#@######", +"######+%+##%+#%@@+#@%##%+@######", +"################################", +"################################"}; diff --git a/images/state.xcf b/images/state.xcf Binary files differnew file mode 100644 index 00000000..1b62f712 --- /dev/null +++ b/images/state.xcf diff --git a/images/state.xpm b/images/state.xpm new file mode 100644 index 00000000..2a3102fa --- /dev/null +++ b/images/state.xpm @@ -0,0 +1,180 @@ +/* XPM */ +static char * state_xpm[] = { +"32 32 145 2", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #994848", +"& c #8D2121", +"* c #9F9F9F", +"= c #878787", +"- c #8A8A8A", +"; c #B2B2B2", +"> c #515151", +", c #202020", +"' c #000000", +") c #999999", +"! c #4A4A4A", +"~ c #050505", +"{ c #010101", +"] c #3C3C3C", +"^ c #7C7C7C", +"/ c #870F0F", +"( c #AEAEAE", +"_ c #3E3E3E", +": c #343434", +"< c #8F8F8F", +"[ c #D9D9D9", +"} c #ECECEC", +"| c #8E8E8E", +"1 c #1A1A1A", +"2 c #373737", +"3 c #CBCBCB", +"4 c #E2E2E2", +"5 c #E8E8E8", +"6 c #D5D5D5", +"7 c #545454", +"8 c #232323", +"9 c #707070", +"0 c #994949", +"a c #891313", +"b c #828282", +"c c #D3D3D3", +"d c #F8F8F8", +"e c #FFFFFF", +"f c #444444", +"g c #FEFEFE", +"h c #F0F0F0", +"i c #7B7B7B", +"j c #0C0C0C", +"k c #994A4A", +"l c #8A1818", +"m c #0E0E0E", +"n c #7A7A7A", +"o c #FDFDFD", +"p c #E3E3E3", +"q c #323232", +"r c #4B4B4B", +"s c #B0B0B0", +"t c #9A4C4C", +"u c #8B1C1C", +"v c #959595", +"w c #F3F3F3", +"x c #F7F7F7", +"y c #303030", +"z c #9B4E4E", +"A c #3F3F3F", +"B c #8C1E1E", +"C c #FAFAFA", +"D c #AFAFAF", +"E c #949494", +"F c #F6F6F6", +"G c #F4F4F4", +"H c #868686", +"I c #BDBDBD", +"J c #FCFCFC", +"K c #7F7F7F", +"L c #994B4B", +"M c #8D8D8D", +"N c #C7C7C7", +"O c #121212", +"P c #070707", +"Q c #939393", +"R c #EBEBEB", +"S c #787878", +"T c #030303", +"U c #171717", +"V c #E4E4E4", +"W c #F2F2F2", +"X c #393939", +"Y c #8B1B1B", +"Z c #494949", +"` c #C5C5C5", +" . c #2D2D2D", +".. c #131313", +"+. c #9B9B9B", +"@. c #3A3A3A", +"#. c #B9B9B9", +"$. c #222222", +"%. c #555555", +"&. c #891414", +"*. c #888888", +"=. c #080808", +"-. c #B8B8B8", +";. c #C4C4C4", +">. c #CECECE", +",. c #FBFBFB", +"'. c #E6E6E6", +"). c #BABABA", +"!. c #0D0D0D", +"~. c #3D3D3D", +"{. c #E1E1E1", +"]. c #6E6E6E", +"^. c #881010", +"/. c #797979", +"(. c #464646", +"_. c #818181", +":. c #919191", +"<. c #525252", +"[. c #808080", +"}. c #383838", +"|. c #757575", +"1. c #7D7D7D", +"2. c #181818", +"3. c #6D6D6D", +"4. c #454545", +"5. c #090909", +"6. c #2F2F2F", +"7. c #616161", +"8. c #7E7E7E", +"9. c #141414", +"0. c #0A0A0A", +"a. c #4F4F4F", +"b. c #870E0E", +"c. c #777777", +"d. c #A3A3A3", +"e. c #B3B3B3", +"f. c #A2A2A2", +"g. c #AB8383", +"h. c #AB8484", +"i. c #933434", +"j. c #A56E6E", +"k. c #2A2A2A", +"l. c #A7A7A7", +"m. c #151515", +"n. c #696969", +". + @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". # $ # # % % % % % % % # # # # % % % % # # # # # # # # # & $ . ", +". # $ . . . . . . . . . . . . . . . . . . . . . . . . . . # $ . ", +". # $ . . . . . * = = = * . . . . . - = = = ; . . . . . . # $ . ", +". % $ . . . . > , ' ' ' , > . . ) ! ~ { { { ] ^ . . . . . # $ . ", +". % / . . ( _ : < [ } [ < : _ | 1 2 3 4 5 6 7 8 9 . . . . # $ . ", +". 0 a . . b { c d e e e d c ' ' f 5 g g g g h i j . . . . # $ . ", +". k l . . m n d g e e e e d n ' 6 o g g g g g p q r s . . # $ . ", +". t u . . { v o g e e e e o v ' w g g g g g g x ] y | . . # $ . ", +". z u . . ' * g g e e e e e * ' e g g g g g g g A y n . . # $ . ", +". z B . . { * C D E F e e e * ' e G H I J g g g A y K . . # $ . ", +". L B . . ' M N O P Q e e o M ' R S T U V g g W X y K . . # $ . ", +". L Y . . ] Z ` ...; e e R Z ' +.) P @.R g J #.$.%.K . . # $ . ", +". 0 &.. . *.=.-.;.>.,.,.'.).~ !.~.;.;.{.o ,.c ].O K i . . # $ . ", +". 0 ^.. . . /.~ (._.:._.(.T <.[.}.{ |.*.M 1.2.2.3.K | . . # $ . ", +". % / . . . . :.4.5.5.5.6.7.8._.( | 9.0.0.0.a.3.K S D . . # $ . ", +". % b.. . . . . . /.[.[.[.c.= . . . d./.^ K K S n . . . . # $ . ", +". # $ . . . . . . e.:.:.:.D . . . . . . v :.:.f.. . . . . # $ . ", +". # $ . . . . . . . . . . . . . . . . . . . . . . . . . . # $ . ", +". # $ @ @ @ @ g.h.h.h.h.h.@ @ @ h.h.h.h.h.@ @ @ @ @ @ @ @ i.$ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". j.# # # # # # # # # # # # # # # # # # # # # # # # # # # # # . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ", +". . . . . . Q k.A k.. Q Q . . . . . . . 1.l.. . . . . . . . . . ", +". . . . . . A k.. . Q m.k.Q . n.A A Q n.' A . l.7 7 l.. . . . . ", +". . . . . . Q ' A . . ' Q . 7 n.. ' . 1.m.. l.k.l.' Q . . . . . ", +". . . . . . . l.m.7 l.' . l.' . 7 m.. n.A . 7 m.A n.. . . . . . ", +". . . . . Q 1.. k.n.1.' . 1.' n.A A . A A . A k.. Q Q . . . . . ", +". . . . . l.A A n.. l.A n.l.A 1.n.A . 1.A Q l.A A 1.. . . . . . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "}; diff --git a/images/undo.8bit.xpm b/images/undo.8bit.xpm new file mode 100644 index 00000000..4444863c --- /dev/null +++ b/images/undo.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * undo_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #020204", +"+ c #860E0C", +"@ c #3E3230", +"# c #9A4644", +"$ c #736C6C", +"% c #AA8284", +"& c #AE8A8C", +"* c #BDBDBB", +"********************************", +"*****&%%%%%%%%%%%%%%%%%%%%%*****", +"*****#+++++++++++++++++++++*****", +"*****#+##################++*****", +"*****#+******************#+*****", +"*****#+******************#+*****", +"*****#+**************+***#+*****", +"*****#+************+++***#+*****", +"*****#+*********++++++***#+*****", +"*****#+*******++++++++***#+*****", +"*****#+****+++++++++++***#+*****", +"*****#+**+++++++++++++***#+*****", +"*****#+**+++++++++++++***#+*****", +"*****#+**+++++++++++++***#+*****", +"*****#+*****++++++++++***#+*****", +"*****#+*******#+++++++***#+*****", +"*****#+*********&+++++***#+*****", +"*****#+************#++***#+*****", +"*****#+**************%***#+*****", +"*****#+******************#+*****", +"*****#+******************#+*****", +"*****#+%%%%%%%%%%%%%%%%%%++*****", +"*****#+++++++++++++++++++++*****", +"*****$#####################*****", +"********************&$**********", +"******@.$*.@********$.**********", +"******$.**@*@$&@**%@@@**@@&*****", +"******@@**.*@@$.$&@*@$*.*$.*****", +"******.&**@*@@*.*@$&.&@@*$.*****", +"******.$*$$*.*$@*.$@.*@@*@$*****", +"******&@@$**@*$@&$@*@**@@&******", +"********************************"}; diff --git a/images/undo.xcf b/images/undo.xcf Binary files differnew file mode 100644 index 00000000..07b7da28 --- /dev/null +++ b/images/undo.xcf diff --git a/images/undo.xpm b/images/undo.xpm new file mode 100644 index 00000000..6ae21467 --- /dev/null +++ b/images/undo.xpm @@ -0,0 +1,59 @@ +/* XPM */ +static char * undo_xpm[] = { +"32 32 24 1", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09696", +"@ c #AA8282", +"# c #994747", +"$ c #870D0D", +"% c #8D2121", +"& c #902D2D", +"* c #9E5959", +"= c #B09595", +"- c #A06262", +"; c #8A1616", +"> c #AC8888", +", c #933434", +"' c #A56E6E", +") c #939393", +"! c #7D7D7D", +"~ c #3F3F3F", +"{ c #000000", +"] c #696969", +"^ c #151515", +"/ c #2A2A2A", +"( c #A7A7A7", +"_ c #545454", +"................................", +".....+@@@@@@@@@@@@@@@@@@@@@.....", +".....#$$$$$$$$$$$$$$$$$$$$$.....", +".....#$##################%$.....", +".....#$..................#$.....", +".....#$..................#$.....", +".....#$..............$...#$.....", +".....#$............$$$...#$.....", +".....#$.........$$$$$$...#$.....", +".....#$.......$$$$$$$$...#$.....", +".....#$....$$$$$$$$$$$...#$.....", +".....#$..$$$$$$$$$$$$$...#$.....", +".....#$..$$$$$$$$$$$$$...#$.....", +".....#$..&$$$$$$$$$$$$...#$.....", +".....#$.....$$$$$$$$$$...#$.....", +".....#$.......*$$$$$$$...#$.....", +".....#$.........=&$$$$...#$.....", +".....#$............-;$...#$.....", +".....#$..............>...#$.....", +".....#$..................#$.....", +".....#$..................#$.....", +".....#$@@@@@@@@@@@@@@@@@@,$.....", +".....#$$$$$$$$$$$$$$$$$$$$$.....", +".....'#####################.....", +"....................)!..........", +"......~{].^/........]^..........", +"......!^..~(~])~(.)~/~.(_~).....", +"......~~..{.~~]{!)/.~](^(]{.....", +"......{!.(~./~({.~!){)_~.!^.....", +"......^].]].{(!^.{_~{.~/(^!.....", +"......)~~].(~.!~)__)~)(~~)......", +"................................"}; diff --git a/images/use.8bit.xpm b/images/use.8bit.xpm new file mode 100644 index 00000000..82f9e484 --- /dev/null +++ b/images/use.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * use_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #020204", +"+ c #860E0C", +"@ c #463433", +"# c #9A4644", +"$ c #776C6C", +"% c #AA8284", +"& c #AE8A8C", +"* c #BDBDBB", +"********************************", +"*****#####################%*****", +"*****+++++++++++++++++++++#*****", +"*****+#%%%%%%%%%%%%%%%%%%+#*****", +"*****+#******************+#*****", +"*****+#******************+#*****", +"*****+#**&++++++++++++%**+#*****", +"*****+#***&+++++++++++***+#*****", +"*****+#****++++++++++$***+#*****", +"*****+#****#+++++++++****+#*****", +"*****+#*****+++++++++****+#*****", +"*****+#*****++++++++&****+#*****", +"*****+#******+++++++*****+#*****", +"*****+#******++++++#*****+#*****", +"*****+#*******+++++******+#*****", +"*****+#*******+++++******+#*****", +"*****+#********+++*******+#*****", +"*****+#**%+++++++++++++**+#*****", +"*****+#**%+++++++++++++**+#*****", +"*****+#******************+#*****", +"*****+#******************+#*****", +"*****++##################+#*****", +"*****+++++++++++++++++++++#*****", +"*****%%%%%%%%%%%%%%%%%%%%%&*****", +"********************************", +"*********@.$*.@*****************", +"*********$.**@&&@@&*$@%*********", +"*********@@**.*.$&*@$@@*********", +"*********.%**@*$.$&.@$**********", +"*********.$*$$&*$.&.&*$*********", +"*********&@@$*&@@&*$@$&*********", +"********************************"}; diff --git a/images/use.xcf b/images/use.xcf Binary files differnew file mode 100644 index 00000000..c4d68aac --- /dev/null +++ b/images/use.xcf diff --git a/images/use.xpm b/images/use.xpm new file mode 100644 index 00000000..37e22111 --- /dev/null +++ b/images/use.xpm @@ -0,0 +1,62 @@ +/* XPM */ +static char * use_xpm[] = { +"32 32 27 1", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #994747", +"@ c #A56E6E", +"# c #870D0D", +"$ c #933434", +"% c #AA8282", +"& c #B29A9A", +"* c #AC8888", +"= c #8A1616", +"- c #A06262", +"; c #A16363", +"> c #902D2D", +", c #B09595", +"' c #9E5959", +") c #860C0C", +"! c #8D2121", +"~ c #B09696", +"{ c #3F3F3F", +"] c #000000", +"^ c #696969", +"/ c #151515", +"( c #2A2A2A", +"_ c #7D7D7D", +": c #A7A7A7", +"< c #939393", +"[ c #545454", +"................................", +".....+++++++++++++++++++++@.....", +".....#####################+.....", +".....#$%%%%%%%%%%%%%%%%%%#+.....", +".....#+..................#+.....", +".....#+..................#+.....", +".....#+..&############*..#+.....", +".....#+...&##########=...#+.....", +".....#+....##########-...#+.....", +".....#+....;#########....#+.....", +".....#+.....########>....#+.....", +".....#+.....########,....#+.....", +".....#+......#######.....#+.....", +".....#+......######'.....#+.....", +".....#+.......#####......#+.....", +".....#+.......#####......#+.....", +".....#+........###.......#+.....", +".....#+..%#############..#+.....", +".....#+..%#######)#####..#+.....", +".....#+..................#+.....", +".....#+..................#+.....", +".....#!++++++++++++++++++#+.....", +".....#####################+.....", +".....%%%%%%%%%%%%%%%%%%%%%~.....", +"................................", +".........{]^./(.................", +"........._/..{:<{{:.^{<.........", +".........{{..].]^<.{_{[.........", +".........]_.:{._]_<]{[:.........", +"........./^.^^<<^]_]::_.........", +".........<{{^.<{{<.[{^:.........", +"................................"}; |
