From 1fa284b5bd94a0f84604f80b928dac668b880cc5 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 13 Sep 1999 14:22:02 +0000 Subject: Added new buttons. (xbm files currently missing, some icons not made yet, confusingly copied old ones. --- images/Makefile | 7 +- images/command.8bit.xpm | 44 +++ images/command.xcf | Bin 0 -> 1575 bytes images/command.xpm | 61 ++++ images/context.8bit.xpm | 44 +++ images/context.xcf | Bin 0 -> 3724 bytes images/context.xpm | 586 +++++++++++++++++++++++++++++++++++ images/gimp/scripts/proofgeneral.scm | 2 +- images/info.8bit.xpm | 44 +++ images/info.xcf | Bin 0 -> 2656 bytes images/info.xpm | 115 +++++++ images/notes.txt | 3 + images/show.8bit.xpm | 44 +++ images/show.xcf | Bin 0 -> 2747 bytes images/show.xpm | 181 +++++++++++ 15 files changed, 1128 insertions(+), 3 deletions(-) create mode 100644 images/command.8bit.xpm create mode 100644 images/command.xcf create mode 100644 images/command.xpm create mode 100644 images/context.8bit.xpm create mode 100644 images/context.xcf create mode 100644 images/context.xpm create mode 100644 images/info.8bit.xpm create mode 100644 images/info.xcf create mode 100644 images/info.xpm create mode 100644 images/show.8bit.xpm create mode 100644 images/show.xcf create mode 100644 images/show.xpm (limited to 'images') diff --git a/images/Makefile b/images/Makefile index 58b5eec9..14555338 100644 --- a/images/Makefile +++ b/images/Makefile @@ -19,7 +19,7 @@ ########################################################################### # Sources -BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf +BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf show.xcf context.xcf info.xcf command.xcf WEBPIX=isabelle_transparent.xcf ProofGeneral.xcf pg-text.xcf # Targets for html directory @@ -41,7 +41,7 @@ default: all images: all -all: buttons webpix +all: buttons backgroundize-xpm webpix dist: all install distclean @@ -53,6 +53,9 @@ dist: all install distclean 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, e.g. xbm. +# (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 diff --git a/images/command.8bit.xpm b/images/command.8bit.xpm new file mode 100644 index 00000000..aecfe9ea --- /dev/null +++ b/images/command.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * command_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #0A0A0B", +"+ c #78696B", +"@ c #424240", +"# c #9F9A9A", +"$ c #860E0C", +"% c #9A4644", +"& c #A48283", +"* c #BEBEBC", +"********************************", +"*****%%%%%%%%%%%%%%%%%%%%%+*****", +"*****$$$$$$$$$$$$$$$$$$$$$%*****", +"*****$%&&&&&&&&&&&&&&&&&&$%*****", +"*****$%******************$%*****", +"*****$%******************$%*****", +"*****$%**&$$$$$$$$$$$$&**$%*****", +"*#***$%***&$$$$$$$$$$$***$%*****", +"*****$%****$$$$$$$$$$%***$%*****", +"*****$%****%$$$$$$$$$****$%#****", +"*****$%*****$$$$$$$$%****$%*****", +"**#**$%*****$$$$$$$$##***$%*****", +"*****$%******$$$$$$$*****$%*****", +"*****$%******$$$$$$%*****$%*****", +"*****$%*******$$$$$******$%*****", +"*****$%#******$$$$$******$%#****", +"*****$%********$$$***#***$%*****", +"**#**$%**&$$$$$$$$$$$$$**$%*****", +"*****$%**&$$$$$$$$$$$$$**$%*****", +"*****$%******************$%*****", +"*****$%******************$%*****", +"*****$$%%%%%%%%%%%%%%%%%%$%#****", +"*****$$$$$$$$$$$$$$$$$$$$$%*****", +"**#**&&&&&&&&&&&&&&&&&&&&&#*****", +"********************************", +"*********@.+*..*****************", +"*********+.**@##@@#*+@&**#******", +"***#*****@@**.*.+&*@+@@*********", +"*********.+*#@*+.+#.@@**********", +"*********.+*++##+.+.##+****#****", +"*****#***#@@+*&@@#*@@+#*********", +"********************************"}; diff --git a/images/command.xcf b/images/command.xcf new file mode 100644 index 00000000..c4d68aac Binary files /dev/null and b/images/command.xcf differ diff --git a/images/command.xpm b/images/command.xpm new file mode 100644 index 00000000..767f5147 --- /dev/null +++ b/images/command.xpm @@ -0,0 +1,61 @@ +/* XPM */ +static char * command_xpm[] = { +"32 32 26 1", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #984747", +"@ c #A46E6E", +"# c #870D0D", +"$ c #923434", +"% c #AA8181", +"& c #B19A9A", +"* c #AC8888", +"= c #891515", +"- c #A06262", +"; c #902D2D", +"> c #B09494", +", c #9D5858", +"' c #860C0C", +") c #8D2020", +"! c #B09595", +"~ c #3E3E3E", +"{ c #000000", +"] c #686868", +"^ c #151515", +"/ c #2A2A2A", +"( c #7D7D7D", +"_ c #A7A7A7", +": c #929292", +"< c #545454", +"................................", +".....+++++++++++++++++++++@.....", +".....#####################+.....", +".....#$%%%%%%%%%%%%%%%%%%#+.....", +".....#+..................#+.....", +".....#+..................#+.....", +".....#+..&############*..#+.....", +".....#+...&##########=...#+.....", +".....#+....##########-...#+.....", +".....#+....-#########....#+.....", +".....#+.....########;....#+.....", +".....#+.....########>....#+.....", +".....#+......#######.....#+.....", +".....#+......######,.....#+.....", +".....#+.......#####......#+.....", +".....#+.......#####......#+.....", +".....#+........###.......#+.....", +".....#+..%#############..#+.....", +".....#+..%#######'#####..#+.....", +".....#+..................#+.....", +".....#+..................#+.....", +".....#)++++++++++++++++++#+.....", +".....#####################+.....", +".....%%%%%%%%%%%%%%%%%%%%%!.....", +"................................", +".........~{].^/.................", +".........(^..~_:~~_.]~:.........", +".........~~..{.{]:.~(~<.........", +".........{(._~.({(:{~<_.........", +".........^].]]::]{({__(.........", +".........:~~].:~~:.<~]_.........", +"................................"}; diff --git a/images/context.8bit.xpm b/images/context.8bit.xpm new file mode 100644 index 00000000..0c2d2591 --- /dev/null +++ b/images/context.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * context_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #252920", +"+ c #6B8F5E", +"@ c #86D56F", +"# c #BEBFBB", +"$ c #DBEBD6", +"% c #705840", +"& c #860E0C", +"* c #9F9784", +"################################", +"#*%****%****%****%****%****%***#", +"#%&&&&&&&&&&&&&&&&&&&&&&&&&&&&&#", +"#%&%&%%&%%&%%%&%%&%%&%%&%%&%%&&#", +"##$$$@$#@#@@@@@@@@@@@@@@@@@@@@@#", +"#@$@#++%++%*@@@@@@@@@@@+@@++@@@#", +"#$$+*%%*+.%.%.%.++..%....%++%@@#", +"#$***#$%@%*+%%%%%%%.%.++@+.+%+@#", +"#$+*#@$%$+@++@@@%@@+@@+@+@%%.+@#", +"#$+#*@$+#@.%%$+@+@@.++%@+@%%+.@#", +"#$%##*#+.*+@.@+%+.++@@%+.@%@+.@#", +"#$*#*.*$*#+$#%@+$+@@+@+@+@%@.%+#", +"#$%#$+$#%+%@+%+%++$@#++@+@%+%+%#", +"#$%#$++***%+#$$$$*+++@@+++%...%#", +"#$%##%#$#%$$$$$$$$$$$$@$@$%%%%@#", +"#$%$$%$*+$$$$$$$$$$$$$$$@$%+%$@#", +"#$%$$#%*$$$$$$$$$$$$$$$$$$%+%@$#", +"#$%$*%$$$$$$$$$$$$$$$$$$$$%@$@$#", +"#$%$*$$$$$$$$$$$$$$$$$$$$$**$$@#", +"#$%$$$$$$$$$$$$$$$$$$$$$$$##$$$#", +"#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$#", +"#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$#", +"#%&&&&&&&&&&&&&&&&&&&&&&&&&&&&&#", +"#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%#", +"#######################*%*######", +"########%...*##########*.*######", +"#######..##**#%.%##%..**.*######", +"######*.*####%%*.+%%#.**.#######", +"######%.*#..%.##.%.#%.#%%#######", +"######*.%#.%%.*..%.%..#.%#######", +"#######*.%%*#%.+#*.+%.#.+#######", +"################################"}; diff --git a/images/context.xcf b/images/context.xcf new file mode 100644 index 00000000..f13fc83d Binary files /dev/null and b/images/context.xcf differ diff --git a/images/context.xpm b/images/context.xpm new file mode 100644 index 00000000..aa455b27 --- /dev/null +++ b/images/context.xpm @@ -0,0 +1,586 @@ +/* XPM */ +static char * context_xpm[] = { +"32 32 551 2", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09595", +"@ c #AA8181", +"# c #984747", +"$ c #870D0D", +"% c #984848", +"& c #8D2020", +"* 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 #A46E6E", +"R$ c #A7A7A7", +"S$ c #7D7D7D", +"T$ c #545454", +"U$ c #151515", +"V$ c #3E3E3E", +"W$ c #2A2A2A", +"X$ c #929292", +"Y$ c #000000", +"Z$ c #686868", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ", +". + @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". # $ # # % % % % % % % # # # # % % % % # # # # # # # # # & $ . ", +". * = - ; > , ' ) ! ~ { ] ^ / ( _ : < [ } | 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/gimp/scripts/proofgeneral.scm b/images/gimp/scripts/proofgeneral.scm index 7c67d5b5..ac55e0b1 100644 --- a/images/gimp/scripts/proofgeneral.scm +++ b/images/gimp/scripts/proofgeneral.scm @@ -48,7 +48,7 @@ (define (script-fu-proofgeneral-make-all-buttons) (mapcar script-fu-proofgeneral-make-button - '("goal" "next" "qed" "restart" "retract" "undo" "use"))) + '("goal" "next" "qed" "restart" "retract" "undo" "use" "show" "context" "info" "command"))) (script-fu-register "script-fu-proofgeneral-make-all-buttons" "/Xtns/Script-Fu/Proof General/Make All Buttons" diff --git a/images/info.8bit.xpm b/images/info.8bit.xpm new file mode 100644 index 00000000..243a750f --- /dev/null +++ b/images/info.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * info_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #0504AD", +"+ c #BAB6B6", +"@ c #8F4B54", +"# c #861212", +"$ c #787692", +"% c #DBDBF3", +"& c #353559", +"* c #FDFDFC", +"++$$$$$$$$$$$$$$$$$$$$$$$$$$$$$+", +"+@#############################+", +"+@#@@@@@@@@@@@@#@@@@@@@@@@@@@##+", +"+@#++++++++$&......&$++++++++@#+", +"+@#++%++%+$....&$$...$+++%++%@#+", +"+@#++++++......+*%....&++++++@#+", +"+@#+++++$......+*%.....$+++++@#+", +"+@#+%++$................$+%++@#+", +"+@#++++&.....+++++......&++++@#+", +"%@#++++.....&****%.......++++@#+", +"+@#%++$.......&+*%.......$+++@#+", +"%@#+++$........+*%.......$%++@#+", +"+@#%++$........$*%.......$+++@#+", +"+@#+++$........+*%.......$+++@#+", +"+@#+%++........+*%.......++++@#+", +"+@#++++&.......+*%......&++++@#+", +"+@#++++$.......$*%......$+%++@#+", +"+@#+++++$....$$+*%$&...$+++++@#+", +"+@#+%++++....******+...++++%+@#+", +"+@#+++++++$..$$$$$$$.$+++++++@#+", +"+@#$$+$$$$$@&&..&.#&@$$$+$$$$@#+", +"+@#############################+", +"+$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@+", +"++++++++++++++++++$$++++++++++++", +"++++++++$.&++++++$@$++++++++++++", +"++%++%++$.+&$$&+$.&$+@&$%++++%++", +"++++++++$.+&&$.$+.++.+$.++%+++++", +"+++++%++&&+&&+.+$&+&&+$&++++++++", +"+%+++++%.$+.+$.+$&+&&+.$++%+%+++", +"+++%+++$&&+&+$&$&$++&&+++++++%++", +"++++++++++++%+%+&$++++++++++++++", +"%+++++++%++++++++++++++++++++%++"}; diff --git a/images/info.xcf b/images/info.xcf new file mode 100644 index 00000000..ff7a632c Binary files /dev/null and b/images/info.xcf differ diff --git a/images/info.xpm b/images/info.xpm new file mode 100644 index 00000000..6e981bbd --- /dev/null +++ b/images/info.xpm @@ -0,0 +1,115 @@ +/* XPM */ +static char * info_xpm[] = { +"32 32 80 1", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09595", +"@ c #AA8181", +"# c #984747", +"$ c #870D0D", +"% c #984848", +"& c #8D3B3D", +"* c #812F38", +"= c #813039", +"- c #8D3C3E", +"; c #8D2020", +"> c #787891", +", c #2F2F99", +"' c #1717A8", +") c #0000BC", +"! c #A5A5A7", +"~ c #5E5E8D", +"{ c #4F4FD1", +"] c #7F7FDD", +"^ c #6F6FD9", +"/ c #0000BE", +"( c #2020A2", +"_ c #9F9FE5", +": c #FDFDFD", +"< c #DEDEF5", +"[ c #870F0F", +"} c #891313", +"| c #994A4A", +"1 c #8A1818", +"2 c #0000BD", +"3 c #1717C3", +"4 c #BEBEED", +"5 c #A7A7E7", +"6 c #9A4C4C", +"7 c #8B1C1C", +"8 c #99999F", +"9 c #1F1FC5", +"0 c #9A4E4E", +"a c #757590", +"b c #0303BE", +"c c #ABABE8", +"d c #8C1E1E", +"e c #994B4B", +"f c #8B1B1B", +"g c #984949", +"h c #891414", +"i c #881010", +"j c #870E0E", +"k c #0B0BC0", +"l c #5F5FD5", +"m c #C2C2EE", +"n c #EAEAF8", +"o c #5F5FD6", +"p c #4747D0", +"q c #FFFFFF", +"r c #BFBFEE", +"s c #0F0FC1", +"t c #7F7FDE", +"u c #AA8282", +"v c #AA8383", +"w c #AB8484", +"x c #7D5667", +"y c #4C256C", +"z c #3C1475", +"A c #2D0582", +"B c #2D0481", +"C c #2D0784", +"D c #3C1576", +"E c #923434", +"F c #A46E6E", +"G c #929292", +"H c #7D7D7D", +"I c #686868", +"J c #000000", +"K c #2A2A2A", +"L c #545454", +"M c #A7A7A7", +"N c #3E3E3E", +"O c #151515", +".+@@@@@@@@@@@@@@@@@@@@@@@@@@@@@.", +".#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$.", +".#$##%%%%%%%#&**==-%#########;$.", +".#$........>,'))))',>........#$.", +".#$......!~)))){]^///~!......#$.", +".%$.....!()))))_:)/))))))))//////>....#$.", +".|1....,2/))344445//////,....#$.", +".67...8')/))9::::2/)))))_:....#$.", +".%j.....~/))kllm:nop///~.....#$.", +".#$.....!())9:::::qr//(!.....#$.", +".#$......!~)s]]]]]to/~!......#$.", +".#$@uuuvwwvxyzABCCDyxuu@@@@@@E$.", +".#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$.", +".F#############################.", +"..................GH............", +"........IJK......ILIM...........", +"........GJMNIGNMHOKGMLNG........", +"........IJ.NNIJH.J.MOMIJ........", +"........NN.KNMJ.HO.LN.HO........", +"........OI.JMHO.IN.NKMOH........", +".......INNMN.HNGNL.MNNG.........", +"................OH..............", +"................................"}; diff --git a/images/notes.txt b/images/notes.txt index 2d4e0a9a..17f0b753 100644 --- a/images/notes.txt +++ b/images/notes.txt @@ -24,6 +24,9 @@ Text is lucidafax at point size 8. blank.xcf -- blank with correct background colour. +Some icons I drew, some I stole from free sources. + + LOGOS ===== diff --git a/images/show.8bit.xpm b/images/show.8bit.xpm new file mode 100644 index 00000000..26634f27 --- /dev/null +++ b/images/show.8bit.xpm @@ -0,0 +1,44 @@ +/* XPM */ +static char * show_8bit_xpm[] = { +"32 32 9 1", +" c None", +". c #070708", +"+ c #9C898A", +"@ c #8C4948", +"# c #F4F4F3", +"$ c #87100E", +"% c #787777", +"& c #383837", +"* c #BDBDBB", +"*++++++++++++++++++++++++++++++*", +"*@$$$$$$$$$$$$$$$$$$$$$$$$$$$$$*", +"*@$@@@@@@@@@@@@@@@@@@@@@@@@@@$$*", +"*@$**************************@$*", +"*@$*****++%++*****+%+%*******@$*", +"*@$****&&....@**+&....&%*****@$*", +"*@$**+&&+*##+&&+.&*##*@.%****@$*", +"*@$**+.######*..&######%.****@$*", +"*@$**.%#######%.########&&***@$*", +"*@$**.+#######+.########&&+**@$*", +"*@$**.*#######*.########&&%**@$*", +"*@$**.+#*+####+.##+*####&&%**@$*", +"*@$**.+*..+###+.#%..####&&%**@$*", +"*@$**&%*&.*###&.*+.&###*.@%**@$*", +"*@$**%.**####*..&**####%.%%**@$*", +"*@$***%.&%++&.&+&.%++%..%%+**@$*", +"*@$****+&...&%%+*+....%%%%***@$*", +"*@$******%+%%%%****%%%%%%****@$*", +"*@$*******+++*******++++*****@$*", +"*@$**************************@$*", +"*@$++++++++++++++++++++++++++$$*", +"*@$$$$$$$$$$$$$$$$$$$$$$$$$$$$$*", +"*%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@*", +"********************************", +"**********%%********************", +"*****+&&&*&&********************", +"*****&&***&%@&**@&%*&++%*&+*****", +"*****+.&**.&&.*&%+.%&%%&*.+*****", +"******+.@*.+%&+.**.+%&&.%%******", +"****++*&%%.*&%%.*&&*+.+.@*******", +"****+&&%*%%*%&*&&%**+%*%********", +"********************************"}; diff --git a/images/show.xcf b/images/show.xcf new file mode 100644 index 00000000..f64f9ff1 Binary files /dev/null and b/images/show.xcf differ diff --git a/images/show.xpm b/images/show.xpm new file mode 100644 index 00000000..4ff91321 --- /dev/null +++ b/images/show.xpm @@ -0,0 +1,181 @@ +/* XPM */ +static char * show_xpm[] = { +"32 32 146 2", +" c None", +". c #BCBCBC s backgroundToolBarColor", +"+ c #B09595", +"@ c #AA8181", +"# c #984747", +"$ c #870D0D", +"% c #984848", +"& c #8D2020", +"* c #9E9E9E", +"= c #868686", +"- c #898989", +"; c #B2B2B2", +"> c #515151", +", c #202020", +"' c #000000", +") c #989898", +"! c #4A4A4A", +"~ c #050505", +"{ c #3C3C3C", +"] c #7B7B7B", +"^ c #870F0F", +"/ c #ADADAD", +"( c #3D3D3D", +"_ c #343434", +": c #8F8F8F", +"< c #D9D9D9", +"[ c #ECECEC", +"} c #8D8D8D", +"| c #191919", +"1 c #363636", +"2 c #CACACA", +"3 c #E1E1E1", +"4 c #E7E7E7", +"5 c #D4D4D4", +"6 c #545454", +"7 c #222222", +"8 c #707070", +"9 c #891313", +"0 c #818181", +"a c #D2D2D2", +"b c #F7F7F7", +"c c #FFFFFF", +"d c #F8F8F8", +"e c #D3D3D3", +"f c #444444", +"g c #FDFDFD", +"h c #EFEFEF", +"i c #0B0B0B", +"j c #994A4A", +"k c #8A1818", +"l c #0E0E0E", +"m c #7A7A7A", +"n c #D5D5D5", +"o c #FCFCFC", +"p c #E2E2E2", +"q c #323232", +"r c #B0B0B0", +"s c #9A4C4C", +"t c #8B1C1C", +"u c #959595", +"v c #F3F3F3", +"w c #F6F6F6", +"x c #3B3B3B", +"y c #2F2F2F", +"z c #8E8E8E", +"A c #9A4E4E", +"B c #9F9F9F", +"C c #3F3F3F", +"D c #8C1E1E", +"E c #F9F9F9", +"F c #AFAFAF", +"G c #949494", +"H c #FBFBFB", +"I c #7F7F7F", +"J c #994B4B", +"K c #C6C6C6", +"L c #111111", +"M c #070707", +"N c #939393", +"O c #EBEBEB", +"P c #787878", +"Q c #020202", +"R c #161616", +"S c #E3E3E3", +"T c #F1F1F1", +"U c #383838", +"V c #8B1B1B", +"W c #494949", +"X c #C4C4C4", +"Y c #2C2C2C", +"Z c #131313", +"` c #9B9B9B", +" . c #999999", +".. c #060606", +"+. c #393939", +"@. c #EAEAEA", +"#. c #B9B9B9", +"$. c #212121", +"%. c #555555", +"&. c #984949", +"*. c #891414", +"=. c #878787", +"-. c #080808", +";. c #B8B8B8", +">. c #C3C3C3", +",. c #CECECE", +"'. c #E6E6E6", +"). c #BABABA", +"!. c #0D0D0D", +"~. c #E0E0E0", +"{. c #FAFAFA", +"]. c #6E6E6E", +"^. c #881010", +"/. c #464646", +"(. c #919191", +"_. c #030303", +":. c #525252", +"<. c #808080", +"[. c #757575", +"}. c #888888", +"|. c #7D7D7D", +"1. c #171717", +"2. c #6D6D6D", +"3. c #909090", +"4. c #454545", +"5. c #090909", +"6. c #616161", +"7. c #141414", +"8. c #4F4F4F", +"9. c #777777", +"0. c #AEAEAE", +"a. c #870E0E", +"b. c #A2A2A2", +"c. c #7C7C7C", +"d. c #A1A1A1", +"e. c #AA8282", +"f. c #AA8383", +"g. c #AB8484", +"h. c #923434", +"i. c #A46E6E", +"j. c #929292", +"k. c #2A2A2A", +"l. c #3E3E3E", +"m. c #686868", +"n. c #A7A7A7", +"o. c #151515", +". + @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". # $ # # % % % % % % % # # # # % % % % # # # # # # # # # & $ . ", +". # $ . . . . . . . . . . . . . . . . . . . . . . . . . . # $ . ", +". # $ . . . . . * = = = * . . . . . - = = = ; . . . . . . # $ . ", +". % $ . . . . > , ' ' ' , > . . ) ! ~ ' ' ' { ] . . . . . # $ . ", +". % ^ . . / ( _ : < [ < : _ ( } | 1 2 3 4 5 6 7 8 . . . . # $ . ", +". % 9 . . 0 ' a b c c c d e ' ' f 4 g g g g h ] i . . . . # $ . ", +". j k . . l m b g c c c c d m ' n o g g g g g p q ! r . . # $ . ", +". s t . . ' u o g c c c c g u ' v g g g g g g w x y z . . # $ . ", +". A t . . ' B g g c c c c c B ' c g g g g g g g C y m . . # $ . ", +". A D . . ' B E F G w c c c B ' c v = . H g g g C y I . . # $ . ", +". J D . . ' } K L M N c c g } ' O P Q R S g g T U y I . . # $ . ", +". j V . . { W X Y Z ; c c O W ' ` ...+.@.g H #.$.%.I . . # $ . ", +". &.*.. . =.-.;.>.,.H H '.).~ !.( >.>.~.o {.a ].L I ] . . # $ . ", +". % ^.. . . P ~ /.0 (.0 /._.:.<.U ' [.}.} |.1.1.2.I z . . # $ . ", +". % ^ . . . . 3.4.5.5.5.y 6.|.<./ } 7.5.5.5.8.2.I 9.0.. . # $ . ", +". % a.. . . . . . P <.<.<.9.=.. . . b.P c.I I P m . . . . # $ . ", +". # $ . . . . . . ; (.(.(.F . . . . . . u (.(.d.. . . . . # $ . ", +". # $ . . . . . . . . . . . . . . . . . . . . . . . . . . # $ . ", +". # $ @ e.e.e.f.g.g.f.f.f.e.e.@ g.g.f.f.f.e.e.@ @ @ @ @ @ h.$ . ", +". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ", +". i.# # # # # # # # # # # # # # # # # # # # # # # # # # # # # . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ", +". . . . . . . . . . |.|.. . . . . . . . . . . . . . . . . . . . ", +". . . . . j.k.l.k.. l.l.. . . . . . . . . . . . . . . . . . . . ", +". . . . . l.k.. . . l.m.m.6 . . m.l.m.. l.j.n.|.. l.j.. . . . . ", +". . . . . j.' l.. . o.l.l.' . l.m.n.' |.l.m.m.l.. ' n.. . . . . ", +". . . . . . n.o.6 . ' |.|.l.j.' . . ' j.|.l.l.' m.|.. . . . . . ", +". . . . j.|.. k.m.|.o.. l.6 |.' n.l.l.. |.' n.' 6 . . . . . . . ", +". . . . n.l.l.m.. |.m.. m.l.. 6 l.m.. . j.|.. 6 . . . . . . . . ", +". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "}; -- cgit v1.2.3