Deleted file

17 files changed, 0 insertions, 802 deletions

diff --git a/images/gimp/scripts/proofgeneral.scm b/images/gimp/scripts/proofgeneral.scm
deleted file mode 100644
index 68c3921b..00000000
--- a/images/gimp/scripts/proofgeneral.scm
+++ /dev/null
@@ -1,98 +0,0 @@
-;;
-;; 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/pg-abort.8bit.xpm b/images/pg-abort.8bit.xpm
deleted file mode 100644
index 01a9afc8..00000000
--- a/images/pg-abort.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-command.8bit.xpm b/images/pg-command.8bit.xpm
deleted file mode 100644
index a5dbc8aa..00000000
--- a/images/pg-command.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-context.8bit.xpm b/images/pg-context.8bit.xpm
deleted file mode 100644
index dc67bc64..00000000
--- a/images/pg-context.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-find.8bit.xpm b/images/pg-find.8bit.xpm
deleted file mode 100644
index 5e4ce58e..00000000
--- a/images/pg-find.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-goal.8bit.xpm b/images/pg-goal.8bit.xpm
deleted file mode 100644
index 1d64db49..00000000
--- a/images/pg-goal.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-goto.8bit.xpm b/images/pg-goto.8bit.xpm
deleted file mode 100644
index fa2cc0ba..00000000
--- a/images/pg-goto.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-help.8bit.xpm b/images/pg-help.8bit.xpm
deleted file mode 100644
index b50057e9..00000000
--- a/images/pg-help.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-info.8bit.xpm b/images/pg-info.8bit.xpm
deleted file mode 100644
index b93c3a5c..00000000
--- a/images/pg-info.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-interrupt.8bit.xpm b/images/pg-interrupt.8bit.xpm
deleted file mode 100644
index 9438fa6f..00000000
--- a/images/pg-interrupt.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-next.8bit.xpm b/images/pg-next.8bit.xpm
deleted file mode 100644
index 96ba38c8..00000000
--- a/images/pg-next.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-qed.8bit.xpm b/images/pg-qed.8bit.xpm
deleted file mode 100644
index eede5c5b..00000000
--- a/images/pg-qed.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-restart.8bit.xpm b/images/pg-restart.8bit.xpm
deleted file mode 100644
index 82f3d255..00000000
--- a/images/pg-restart.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-retract.8bit.xpm b/images/pg-retract.8bit.xpm
deleted file mode 100644
index 6cfac9da..00000000
--- a/images/pg-retract.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-state.8bit.xpm b/images/pg-state.8bit.xpm
deleted file mode 100644
index 40fbc6f7..00000000
--- a/images/pg-state.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-undo.8bit.xpm b/images/pg-undo.8bit.xpm
deleted file mode 100644
index 4444863c..00000000
--- a/images/pg-undo.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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/pg-use.8bit.xpm b/images/pg-use.8bit.xpm
deleted file mode 100644
index 82f9e484..00000000
--- a/images/pg-use.8bit.xpm
+++ /dev/null
@@ -1,44 +0,0 @@
-/* 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",
-"********************************",
-"*****#####################%*****",
-"*****+++++++++++++++++++++#*****",
-"*****+#%%%%%%%%%%%%%%%%%%+#*****",
-"*****+#******************+#*****",
-"*****+#******************+#*****",
-"*****+#**&++++++++++++%**+#*****",
-"*****+#***&+++++++++++***+#*****",
-"*****+#****++++++++++$***+#*****",
-"*****+#****#+++++++++****+#*****",
-"*****+#*****+++++++++****+#*****",
-"*****+#*****++++++++&****+#*****",
-"*****+#******+++++++*****+#*****",
-"*****+#******++++++#*****+#*****",
-"*****+#*******+++++******+#*****",
-"*****+#*******+++++******+#*****",
-"*****+#********+++*******+#*****",
-"*****+#**%+++++++++++++**+#*****",
-"*****+#**%+++++++++++++**+#*****",
-"*****+#******************+#*****",
-"*****+#******************+#*****",
-"*****++##################+#*****",
-"*****+++++++++++++++++++++#*****",
-"*****%%%%%%%%%%%%%%%%%%%%%&*****",
-"********************************",
-"*********@.$*.@*****************",
-"*********$.**@&&@@&*$@%*********",
-"*********@@**.*.$&*@$@@*********",
-"*********.%**@*$.$&.@$**********",
-"*********.$*$$&*$.&.&*$*********",
-"*********&@@$*&@@&*$@$&*********",
-"********************************"};