--- a/src/Tools/8bit/axe/isaaxe Fri Feb 20 16:00:18 1998 +0100
+++ b/src/Tools/8bit/axe/isaaxe Fri Feb 20 16:02:21 1998 +0100
@@ -49,6 +49,7 @@
*fontMenu.label: Fonts" -xrm "\
*FontList: Isa14:isabelle14 Isa24:isabelle24" -xrm "\
*Axe*ed.translations: #override\
+ !Mod2 <Key>space: insert-string(0xa0) \n\
!Mod2 Shift <Key>g: insert-string(0xa1) \n\
!Mod2 Shift <Key>d: insert-string(0xa2) \n\
!Mod2 Shift <Key>j: insert-string(0xa3) \n\
@@ -85,25 +86,6 @@
!Mod4 <Key>f: insert-string(0xc2) \n\
!Mod4 <Key>t: insert-string(0xc3) \n\
!Mod4 Shift <Key>f: insert-string(0xc4) \n\
- !Ctrl <Key>F5: insert-string(0xc5) \n\
- !Ctrl <Key>F6: insert-string(0xc6) \n\
- !Ctrl <Key>F7: insert-string(0xc7) \n\
- !Ctrl <Key>F8: insert-string(0xc8) \n\
- !Ctrl <Key>F9: insert-string(0xc9) \n\
- !Ctrl <Key>F10: insert-string(0xca) \n\
- !Ctrl <Key>F11: insert-string(0xcb) \n\
- !Ctrl <Key>F12: insert-string(0xcc) \n\
- !Mod4 <Key>F5: insert-string(0xcf) \n\
- !Mod4 <Key>F6: insert-string(0xf9) \n\
- !Mod4 <Key>F7: insert-string(0xfa) \n\
- !Mod4 <Key>F1: insert-string(0xd0) \n\
- !Mod4 <Key>F2: insert-string(0xd1) \n\
- !Mod4 <Key>F3: insert-string(0xd2) \n\
- !Mod4 <Key>F4: insert-string(0xd3) \n\
- !Ctrl <Key>F1: insert-string(0xd4) \n\
- !Ctrl <Key>F2: insert-string(0xd5) \n\
- !Ctrl <Key>F3: insert-string(0xd6) \n\
- !Ctrl <Key>F4: insert-string(0xd7) \n\
!Mod4 <Key>b: insert-string(0xd8) \n\
!Mod4 <Key>e: insert-string(0xd9) \n\
!Mod4 Shift <Key>e: insert-string(0xda) \n\
@@ -116,43 +98,63 @@
!Mod4 Shift <Key>g: insert-string(0xe1) \n\
!Mod4 <Key>s: insert-string(0xe2) \n\
!Mod4 Shift <Key>s: insert-string(0xe3) \n\
- !Shift <Key>F11: insert-string(0xe4) \n\
- !Shift <Key>F12: insert-string(0xe5) \n\
- !Mod2 <Key>F1: insert-string(0xe6) \n\
- !Mod2 <Key>F2: insert-string(0xe7) \n\
- !Mod2 <Key>F3: insert-string(0xe8) \n\
+ !Mod4 <Key>i: insert-string(0xe7) insert-string(0xe8) \n\
+ !Mod4 Shift <Key>i: insert-string(0xea) insert-string(0xeb) \n\
+ !Mod4 Shift <Key>m: insert-string(0xe8) \n\
+ !Mod4 <Key>m: insert-string(0xeb) \n\
+ !Mod4 Shift <Key>n: insert-string(0xf7) \n\
+ !Mod4 <Key>x: insert-string(0xf2) \n\
+ ! <Key>F2: insert-string(0xe4) \n\
+ ! <Key>F3: insert-string(0xdd) \n\
+ ! <Key>F4: insert-string(0xcf) \n\
+ ! <Key>F5: insert-string(0xce) \n\
+ ! <Key>F6: insert-string(0xf1) \n\
+ ! <Key>F7: insert-string(0xe5) \n\
+ ! <Key>F8: insert-string(0xda) \n\
+ ! <Key>F9: insert-string(0xc4) \n\
+ ! <Key>F10: insert-string(0xcb) \n\
+ ! <Key>F11: insert-string(0xcc) \n\
+ ! <Key>F12: insert-string(0xea) insert-string(0xeb) \n\
!Shift <Key>F1: insert-string(0xe9) \n\
!Shift <Key>F2: insert-string(0xea) \n\
!Shift <Key>F3: insert-string(0xeb) \n\
- !Mod2 <Key>F5: insert-string(0xec) \n\
- !Mod2 <Key>F6: insert-string(0xed) \n\
- !Mod2 <Key>F7: insert-string(0xee) \n\
- !Mod2 <Key>F8: insert-string(0xef) \n\
- !Mod2 <Key>F9: insert-string(0xf0) \n\
- !Mod2 <Key>F10: insert-string(0xcd) \n\
- !Mod4 <Key>x: insert-string(0xf2) \n\
+ !Shift <Key>F4: insert-string(0xe9) insert-string(0xeb) \n\
!Shift <Key>F5: insert-string(0xf3) \n\
!Shift <Key>F6: insert-string(0xf4) \n\
!Shift <Key>F7: insert-string(0xf5) \n\
!Shift <Key>F8: insert-string(0xf6) \n\
- !Shift <Key>F9: insert-string(0xf7) \n\
- !Shift <Key>F10: insert-string(0xf8) \n\
- !Mod2 <Key>F11: insert-string(0xce) \n\
- !Mod2 <Key>F12: insert-string(0xf1) \n\
- !Mod4 <Key>F8: insert-string(0xfb) \n\
- !Mod4 <Key>F9: insert-string(0xfc) \n\
- !Mod4 <Key>F10: insert-string(0xfd) \n\
+ !Shift <Key>F9: insert-string(0xca) \n\
+ !Shift <Key>F10: insert-string(0xc9) \n\
+ !Ctrl <Key>F1: insert-string(0xe6) \n\
+ !Ctrl <Key>F2: insert-string(0xe7) \n\
+ !Ctrl <Key>F3: insert-string(0xe8) \n\
+ !Ctrl <Key>F4: insert-string(0xe6) insert-string(0xe8) \n\
+ !Ctrl <Key>F5: insert-string(0xc5) \n\
+ !Ctrl <Key>F6: insert-string(0xc6) \n\
+ !Ctrl <Key>F7: insert-string(0xc7) \n\
+ !Ctrl <Key>F8: insert-string(0xc8) \n\
+ !Ctrl <Key>F9: insert-string(0xfd) \n\
+ !Ctrl <Key>F10: insert-string(0xcd) \n\
+ !Mod2 <Key>F1: insert-string(0xed) \n\
+ !Mod2 <Key>F2: insert-string(0xee) \n\
+ !Mod2 <Key>F3: insert-string(0xef) \n\
+ !Mod2 <Key>F4: insert-string(0xf0) \n\
+ !Mod2 <Key>F5: insert-string(0xd4) \n\
+ !Mod2 <Key>F6: insert-string(0xd5) \n\
+ !Mod2 <Key>F7: insert-string(0xd6) \n\
+ !Mod2 <Key>F8: insert-string(0xd7) \n\
+ !Mod2 <Key>F9: insert-string(0xdc) \n\
+ !Mod2 <Key>F10: insert-string(0xf8) \n\
+ !Mod4 <Key>F1: insert-string(0xf9) \n\
+ !Mod4 <Key>F2: insert-string(0xfa) \n\
+ !Mod4 <Key>F3: insert-string(0xfb) \n\
+ !Mod4 <Key>F4: insert-string(0xfc) \n\
+ !Mod4 <Key>F5: insert-string(0xd0) \n\
+ !Mod4 <Key>F6: insert-string(0xd1) \n\
+ !Mod4 <Key>F7: insert-string(0xd2) \n\
+ !Mod4 <Key>F8: insert-string(0xd3) \n\
+ !Mod4 <Key>F9: insert-string(0xf7) \n\
+ !Mod4 <Key>F10: insert-string(0xec) \n\
!Mod4 <Key>F11: insert-string(0xfe) \n\
- !Mod4 <Key>F12: insert-string(0xff) \n\
- !Shift <Key>F4: insert-string(0xe9) insert-string(0xeb) \n\
- !Mod2 <Key>F4: insert-string(0xe6) insert-string(0xe8) \n\
- !Mod4 <Key>i: insert-string(0xe7) insert-string(0xe8) \n\
- !Mod4 Shift <Key>i: insert-string(0xea) insert-string(0xeb) \n\
- !Mod4 <Key>m: insert-string(0xe8) \n\
- !Mod4 Shift <Key>m: insert-string(0xeb) \n\
- !Mod4 Shift <Key>n: insert-string(0xf7) \n\
- ! <Key>F9: insert-string(0xc4) \n\
- ! <Key>F10: insert-string(0xea) insert-string(0xeb) \n\
- ! <Key>F11: insert-string(0xda) \n\
- ! <Key>F12: insert-string(0xdb) \
+ !Mod4 <Key>F12: insert-string(0xff) \
" $*
--- a/src/Tools/8bit/config/key-table.inp Fri Feb 20 16:00:18 1998 +0100
+++ b/src/Tools/8bit/config/key-table.inp Fri Feb 20 16:02:21 1998 +0100
@@ -75,6 +75,7 @@
# The table must be delimited by BEGIN_KEY_MAP and END_KEY_MAP
BEGIN_KEY_MAP
+ MOD Mod2 KEY space CODE a0
MOD Mod2 KEY G CODE a1
MOD Mod2 KEY D CODE a2
MOD Mod2 KEY J CODE a3
@@ -111,25 +112,6 @@
MOD Mod4 KEY f CODE c2
MOD Mod4 KEY t CODE c3
MOD Mod4 KEY F CODE c4
- MOD Ctrl KEY F5 CODE c5
- MOD Ctrl KEY F6 CODE c6
- MOD Ctrl KEY F7 CODE c7
- MOD Ctrl KEY F8 CODE c8
- MOD Ctrl KEY F9 CODE c9
- MOD Ctrl KEY F10 CODE ca
- MOD Ctrl KEY F11 CODE cb
- MOD Ctrl KEY F12 CODE cc
- MOD Mod4 KEY F5 CODE cf
- MOD Mod4 KEY F6 CODE f9
- MOD Mod4 KEY F7 CODE fa
- MOD Mod4 KEY F1 CODE d0
- MOD Mod4 KEY F2 CODE d1
- MOD Mod4 KEY F3 CODE d2
- MOD Mod4 KEY F4 CODE d3
- MOD Ctrl KEY F1 CODE d4
- MOD Ctrl KEY F2 CODE d5
- MOD Ctrl KEY F3 CODE d6
- MOD Ctrl KEY F4 CODE d7
MOD Mod4 KEY b CODE d8
MOD Mod4 KEY e CODE d9
MOD Mod4 KEY E CODE da
@@ -142,45 +124,65 @@
MOD Mod4 KEY G CODE e1
MOD Mod4 KEY s CODE e2
MOD Mod4 KEY S CODE e3
- MOD Shift KEY F11 CODE e4
- MOD Shift KEY F12 CODE e5
- MOD Mod2 KEY F1 CODE e6
- MOD Mod2 KEY F2 CODE e7
- MOD Mod2 KEY F3 CODE e8
+ MOD Mod4 KEY i CODE e7,e8
+ MOD Mod4 KEY I CODE ea,eb
+ MOD Mod4 KEY M CODE e8
+ MOD Mod4 KEY m CODE eb
+ MOD Mod4 KEY N CODE f7
+ MOD Mod4 KEY x CODE f2
+ MOD None KEY F2 CODE e4
+ MOD None KEY F3 CODE dd
+ MOD None KEY F4 CODE cf
+ MOD None KEY F5 CODE ce
+ MOD None KEY F6 CODE f1
+ MOD None KEY F7 CODE e5
+ MOD None KEY F8 CODE da
+ MOD None KEY F9 CODE c4
+ MOD None KEY F10 CODE cb
+ MOD None KEY F11 CODE cc
+ MOD None KEY F12 CODE ea,eb
MOD Shift KEY F1 CODE e9
MOD Shift KEY F2 CODE ea
MOD Shift KEY F3 CODE eb
- MOD Mod2 KEY F5 CODE ec
- MOD Mod2 KEY F6 CODE ed
- MOD Mod2 KEY F7 CODE ee
- MOD Mod2 KEY F8 CODE ef
- MOD Mod2 KEY F9 CODE f0
- MOD Mod2 KEY F10 CODE cd
- MOD Mod4 KEY x CODE f2
+ MOD Shift KEY F4 CODE e9,eb
MOD Shift KEY F5 CODE f3
MOD Shift KEY F6 CODE f4
MOD Shift KEY F7 CODE f5
MOD Shift KEY F8 CODE f6
- MOD Shift KEY F9 CODE f7
- MOD Shift KEY F10 CODE f8
- MOD Mod2 KEY F11 CODE ce
- MOD Mod2 KEY F12 CODE f1
- MOD Mod4 KEY F8 CODE fb
- MOD Mod4 KEY F9 CODE fc
- MOD Mod4 KEY F10 CODE fd
+ MOD Shift KEY F9 CODE ca
+ MOD Shift KEY F10 CODE c9
+ MOD Ctrl KEY F1 CODE e6
+ MOD Ctrl KEY F2 CODE e7
+ MOD Ctrl KEY F3 CODE e8
+ MOD Ctrl KEY F4 CODE e6,e8
+ MOD Ctrl KEY F5 CODE c5
+ MOD Ctrl KEY F6 CODE c6
+ MOD Ctrl KEY F7 CODE c7
+ MOD Ctrl KEY F8 CODE c8
+ MOD Ctrl KEY F9 CODE fd
+ MOD Ctrl KEY F10 CODE cd
+ MOD Mod2 KEY F1 CODE ed
+ MOD Mod2 KEY F2 CODE ee
+ MOD Mod2 KEY F3 CODE ef
+ MOD Mod2 KEY F4 CODE f0
+ MOD Mod2 KEY F5 CODE d4
+ MOD Mod2 KEY F6 CODE d5
+ MOD Mod2 KEY F7 CODE d6
+ MOD Mod2 KEY F8 CODE d7
+ MOD Mod2 KEY F9 CODE dc
+ MOD Mod2 KEY F10 CODE f8
+ MOD Mod4 KEY F1 CODE f9
+ MOD Mod4 KEY F2 CODE fa
+ MOD Mod4 KEY F3 CODE fb
+ MOD Mod4 KEY F4 CODE fc
+ MOD Mod4 KEY F5 CODE d0
+ MOD Mod4 KEY F6 CODE d1
+ MOD Mod4 KEY F7 CODE d2
+ MOD Mod4 KEY F8 CODE d3
+ MOD Mod4 KEY F9 CODE f7
+ MOD Mod4 KEY F10 CODE ec
MOD Mod4 KEY F11 CODE fe
MOD Mod4 KEY F12 CODE ff
- MOD Shift KEY F4 CODE e9,eb
- MOD Mod2 KEY F4 CODE e6,e8
- MOD Mod4 KEY i CODE e7,e8
- MOD Mod4 KEY I CODE ea,eb
- MOD Mod4 KEY m CODE e8
- MOD Mod4 KEY M CODE eb
- MOD Mod4 KEY N CODE f7
- MOD None KEY F9 CODE c4
- MOD None KEY F10 CODE ea,eb
- MOD None KEY F11 CODE da
- MOD None KEY F12 CODE db
END_KEY_MAP
--- a/src/Tools/8bit/doc/palette.isa Fri Feb 20 16:00:18 1998 +0100
+++ b/src/Tools/8bit/doc/palette.isa Fri Feb 20 16:02:21 1998 +0100
@@ -1,19 +1,18 @@
-¿ À Á çè Ã Â Û
-
-³ ¤ è ë ®
+À Á çè ¿ Û Ã Â ® ³ ¤
-Ä êë Ú Ë Ì Å Æ Ç È É Ê
-
-Í Î ñ Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ý Ü
+Ú Ä Ë Ì êë Å Æ Ç È Ê É
-Ù Þ ß à á â ã ä å û ü
-ò ó ô õ ö ÷ ø ù ú ý þ ÿ
+å ë è ò ó ô õ ö
+Ù ã â á Þ ß à ä ø
+ù ú û ü Í ' ' ì þ ÿ ý
+
+Ð Ñ Ò Ó ÷ Ï Î ñ
+Ô Õ Ö × Ü Ý Ø
-æ ç è æè æç çè
+æ ç è æè æç çè í î ï ð
é ê ë éë éê êë
-ì í î ï ð ' '
-ª « ¬ ® ¯ ° ± ² ³ ´
+ª « ¬ ® ¯ ° ± ² ³ ´
µ ¶ · ¸ ¹ º » ¼ ½ ¾
¡ ¢ £ ¤ ¥ ¦ § ¨ ©
--- a/src/Tools/8bit/gnu_emacs/isa_gnu_emacs.emacs Fri Feb 20 16:00:18 1998 +0100
+++ b/src/Tools/8bit/gnu_emacs/isa_gnu_emacs.emacs Fri Feb 20 16:02:21 1998 +0100
@@ -40,6 +40,7 @@
;; key-map for Isabelle font
;;
;; BEGIN-KEY-MAP
+(global-set-key [s-space] '(lambda () (interactive) (insert "\240")))
(global-set-key [?\s-G] '(lambda () (interactive) (insert "\241")))
(global-set-key [?\s-D] '(lambda () (interactive) (insert "\242")))
(global-set-key [?\s-J] '(lambda () (interactive) (insert "\243")))
@@ -76,25 +77,6 @@
(global-set-key [?\H-f] '(lambda () (interactive) (insert "\302")))
(global-set-key [?\H-t] '(lambda () (interactive) (insert "\303")))
(global-set-key [?\H-F] '(lambda () (interactive) (insert "\304")))
-(global-set-key [C-f5] '(lambda () (interactive) (insert "\305")))
-(global-set-key [C-f6] '(lambda () (interactive) (insert "\306")))
-(global-set-key [C-f7] '(lambda () (interactive) (insert "\307")))
-(global-set-key [C-f8] '(lambda () (interactive) (insert "\310")))
-(global-set-key [C-f9] '(lambda () (interactive) (insert "\311")))
-(global-set-key [C-f10] '(lambda () (interactive) (insert "\312")))
-(global-set-key [C-f11] '(lambda () (interactive) (insert "\313")))
-(global-set-key [C-f12] '(lambda () (interactive) (insert "\314")))
-(global-set-key [H-f5] '(lambda () (interactive) (insert "\317")))
-(global-set-key [H-f6] '(lambda () (interactive) (insert "\371")))
-(global-set-key [H-f7] '(lambda () (interactive) (insert "\372")))
-(global-set-key [H-f1] '(lambda () (interactive) (insert "\320")))
-(global-set-key [H-f2] '(lambda () (interactive) (insert "\321")))
-(global-set-key [H-f3] '(lambda () (interactive) (insert "\322")))
-(global-set-key [H-f4] '(lambda () (interactive) (insert "\323")))
-(global-set-key [C-f1] '(lambda () (interactive) (insert "\324")))
-(global-set-key [C-f2] '(lambda () (interactive) (insert "\325")))
-(global-set-key [C-f3] '(lambda () (interactive) (insert "\326")))
-(global-set-key [C-f4] '(lambda () (interactive) (insert "\327")))
(global-set-key [?\H-b] '(lambda () (interactive) (insert "\330")))
(global-set-key [?\H-e] '(lambda () (interactive) (insert "\331")))
(global-set-key [?\H-E] '(lambda () (interactive) (insert "\332")))
@@ -107,45 +89,65 @@
(global-set-key [?\H-G] '(lambda () (interactive) (insert "\341")))
(global-set-key [?\H-s] '(lambda () (interactive) (insert "\342")))
(global-set-key [?\H-S] '(lambda () (interactive) (insert "\343")))
-(global-set-key [S-f11] '(lambda () (interactive) (insert "\344")))
-(global-set-key [S-f12] '(lambda () (interactive) (insert "\345")))
-(global-set-key [s-f1] '(lambda () (interactive) (insert "\346")))
-(global-set-key [s-f2] '(lambda () (interactive) (insert "\347")))
-(global-set-key [s-f3] '(lambda () (interactive) (insert "\350")))
+(global-set-key [?\H-i] '(lambda () (interactive) (insert "\347")(insert "\350")))
+(global-set-key [?\H-I] '(lambda () (interactive) (insert "\352")(insert "\353")))
+(global-set-key [?\H-M] '(lambda () (interactive) (insert "\350")))
+(global-set-key [?\H-m] '(lambda () (interactive) (insert "\353")))
+(global-set-key [?\H-N] '(lambda () (interactive) (insert "\367")))
+(global-set-key [?\H-x] '(lambda () (interactive) (insert "\362")))
+(global-set-key [f2] '(lambda () (interactive) (insert "\344")))
+(global-set-key [f3] '(lambda () (interactive) (insert "\335")))
+(global-set-key [f4] '(lambda () (interactive) (insert "\317")))
+(global-set-key [f5] '(lambda () (interactive) (insert "\316")))
+(global-set-key [f6] '(lambda () (interactive) (insert "\361")))
+(global-set-key [f7] '(lambda () (interactive) (insert "\345")))
+(global-set-key [f8] '(lambda () (interactive) (insert "\332")))
+(global-set-key [f9] '(lambda () (interactive) (insert "\304")))
+(global-set-key [f10] '(lambda () (interactive) (insert "\313")))
+(global-set-key [f11] '(lambda () (interactive) (insert "\314")))
+(global-set-key [f12] '(lambda () (interactive) (insert "\352")(insert "\353")))
(global-set-key [S-f1] '(lambda () (interactive) (insert "\351")))
(global-set-key [S-f2] '(lambda () (interactive) (insert "\352")))
(global-set-key [S-f3] '(lambda () (interactive) (insert "\353")))
-(global-set-key [s-f5] '(lambda () (interactive) (insert "\354")))
-(global-set-key [s-f6] '(lambda () (interactive) (insert "\355")))
-(global-set-key [s-f7] '(lambda () (interactive) (insert "\356")))
-(global-set-key [s-f8] '(lambda () (interactive) (insert "\357")))
-(global-set-key [s-f9] '(lambda () (interactive) (insert "\360")))
-(global-set-key [s-f10] '(lambda () (interactive) (insert "\315")))
-(global-set-key [?\H-x] '(lambda () (interactive) (insert "\362")))
+(global-set-key [S-f4] '(lambda () (interactive) (insert "\351")(insert "\353")))
(global-set-key [S-f5] '(lambda () (interactive) (insert "\363")))
(global-set-key [S-f6] '(lambda () (interactive) (insert "\364")))
(global-set-key [S-f7] '(lambda () (interactive) (insert "\365")))
(global-set-key [S-f8] '(lambda () (interactive) (insert "\366")))
-(global-set-key [S-f9] '(lambda () (interactive) (insert "\367")))
-(global-set-key [S-f10] '(lambda () (interactive) (insert "\370")))
-(global-set-key [s-f11] '(lambda () (interactive) (insert "\316")))
-(global-set-key [s-f12] '(lambda () (interactive) (insert "\361")))
-(global-set-key [H-f8] '(lambda () (interactive) (insert "\373")))
-(global-set-key [H-f9] '(lambda () (interactive) (insert "\374")))
-(global-set-key [H-f10] '(lambda () (interactive) (insert "\375")))
+(global-set-key [S-f9] '(lambda () (interactive) (insert "\312")))
+(global-set-key [S-f10] '(lambda () (interactive) (insert "\311")))
+(global-set-key [C-f1] '(lambda () (interactive) (insert "\346")))
+(global-set-key [C-f2] '(lambda () (interactive) (insert "\347")))
+(global-set-key [C-f3] '(lambda () (interactive) (insert "\350")))
+(global-set-key [C-f4] '(lambda () (interactive) (insert "\346")(insert "\350")))
+(global-set-key [C-f5] '(lambda () (interactive) (insert "\305")))
+(global-set-key [C-f6] '(lambda () (interactive) (insert "\306")))
+(global-set-key [C-f7] '(lambda () (interactive) (insert "\307")))
+(global-set-key [C-f8] '(lambda () (interactive) (insert "\310")))
+(global-set-key [C-f9] '(lambda () (interactive) (insert "\375")))
+(global-set-key [C-f10] '(lambda () (interactive) (insert "\315")))
+(global-set-key [s-f1] '(lambda () (interactive) (insert "\355")))
+(global-set-key [s-f2] '(lambda () (interactive) (insert "\356")))
+(global-set-key [s-f3] '(lambda () (interactive) (insert "\357")))
+(global-set-key [s-f4] '(lambda () (interactive) (insert "\360")))
+(global-set-key [s-f5] '(lambda () (interactive) (insert "\324")))
+(global-set-key [s-f6] '(lambda () (interactive) (insert "\325")))
+(global-set-key [s-f7] '(lambda () (interactive) (insert "\326")))
+(global-set-key [s-f8] '(lambda () (interactive) (insert "\327")))
+(global-set-key [s-f9] '(lambda () (interactive) (insert "\334")))
+(global-set-key [s-f10] '(lambda () (interactive) (insert "\370")))
+(global-set-key [H-f1] '(lambda () (interactive) (insert "\371")))
+(global-set-key [H-f2] '(lambda () (interactive) (insert "\372")))
+(global-set-key [H-f3] '(lambda () (interactive) (insert "\373")))
+(global-set-key [H-f4] '(lambda () (interactive) (insert "\374")))
+(global-set-key [H-f5] '(lambda () (interactive) (insert "\320")))
+(global-set-key [H-f6] '(lambda () (interactive) (insert "\321")))
+(global-set-key [H-f7] '(lambda () (interactive) (insert "\322")))
+(global-set-key [H-f8] '(lambda () (interactive) (insert "\323")))
+(global-set-key [H-f9] '(lambda () (interactive) (insert "\367")))
+(global-set-key [H-f10] '(lambda () (interactive) (insert "\354")))
(global-set-key [H-f11] '(lambda () (interactive) (insert "\376")))
(global-set-key [H-f12] '(lambda () (interactive) (insert "\377")))
-(global-set-key [S-f4] '(lambda () (interactive) (insert "\351")(insert "\353")))
-(global-set-key [s-f4] '(lambda () (interactive) (insert "\346")(insert "\350")))
-(global-set-key [?\H-i] '(lambda () (interactive) (insert "\347")(insert "\350")))
-(global-set-key [?\H-I] '(lambda () (interactive) (insert "\352")(insert "\353")))
-(global-set-key [?\H-m] '(lambda () (interactive) (insert "\350")))
-(global-set-key [?\H-M] '(lambda () (interactive) (insert "\353")))
-(global-set-key [?\H-N] '(lambda () (interactive) (insert "\367")))
-(global-set-key [f9] '(lambda () (interactive) (insert "\304")))
-(global-set-key [f10] '(lambda () (interactive) (insert "\352")(insert "\353")))
-(global-set-key [f11] '(lambda () (interactive) (insert "\332")))
-(global-set-key [f12] '(lambda () (interactive) (insert "\333")))
;; END-KEY-MAP
--- a/src/Tools/8bit/term/isaterm Fri Feb 20 16:00:18 1998 +0100
+++ b/src/Tools/8bit/term/isaterm Fri Feb 20 16:02:21 1998 +0100
@@ -55,6 +55,7 @@
*fontMenu*font2*Label: Isabelle 24 bold" -xrm "\
*VT100*font2: isabelle24" -xrm "\
*xterm*vt100.translations: #override\
+ !Mod2 <Key>space: string(0xa0) \n\
!Mod2 Shift <Key>g: string(0xa1) \n\
!Mod2 Shift <Key>d: string(0xa2) \n\
!Mod2 Shift <Key>j: string(0xa3) \n\
@@ -91,25 +92,6 @@
!Mod4 <Key>f: string(0xc2) \n\
!Mod4 <Key>t: string(0xc3) \n\
!Mod4 Shift <Key>f: string(0xc4) \n\
- !Ctrl <Key>F5: string(0xc5) \n\
- !Ctrl <Key>F6: string(0xc6) \n\
- !Ctrl <Key>F7: string(0xc7) \n\
- !Ctrl <Key>F8: string(0xc8) \n\
- !Ctrl <Key>F9: string(0xc9) \n\
- !Ctrl <Key>F10: string(0xca) \n\
- !Ctrl <Key>F11: string(0xcb) \n\
- !Ctrl <Key>F12: string(0xcc) \n\
- !Mod4 <Key>F5: string(0xcf) \n\
- !Mod4 <Key>F6: string(0xf9) \n\
- !Mod4 <Key>F7: string(0xfa) \n\
- !Mod4 <Key>F1: string(0xd0) \n\
- !Mod4 <Key>F2: string(0xd1) \n\
- !Mod4 <Key>F3: string(0xd2) \n\
- !Mod4 <Key>F4: string(0xd3) \n\
- !Ctrl <Key>F1: string(0xd4) \n\
- !Ctrl <Key>F2: string(0xd5) \n\
- !Ctrl <Key>F3: string(0xd6) \n\
- !Ctrl <Key>F4: string(0xd7) \n\
!Mod4 <Key>b: string(0xd8) \n\
!Mod4 <Key>e: string(0xd9) \n\
!Mod4 Shift <Key>e: string(0xda) \n\
@@ -122,43 +104,63 @@
!Mod4 Shift <Key>g: string(0xe1) \n\
!Mod4 <Key>s: string(0xe2) \n\
!Mod4 Shift <Key>s: string(0xe3) \n\
- !Shift <Key>F11: string(0xe4) \n\
- !Shift <Key>F12: string(0xe5) \n\
- !Mod2 <Key>F1: string(0xe6) \n\
- !Mod2 <Key>F2: string(0xe7) \n\
- !Mod2 <Key>F3: string(0xe8) \n\
+ !Mod4 <Key>i: string(0xe7) string(0xe8) \n\
+ !Mod4 Shift <Key>i: string(0xea) string(0xeb) \n\
+ !Mod4 Shift <Key>m: string(0xe8) \n\
+ !Mod4 <Key>m: string(0xeb) \n\
+ !Mod4 Shift <Key>n: string(0xf7) \n\
+ !Mod4 <Key>x: string(0xf2) \n\
+ ! <Key>F2: string(0xe4) \n\
+ ! <Key>F3: string(0xdd) \n\
+ ! <Key>F4: string(0xcf) \n\
+ ! <Key>F5: string(0xce) \n\
+ ! <Key>F6: string(0xf1) \n\
+ ! <Key>F7: string(0xe5) \n\
+ ! <Key>F8: string(0xda) \n\
+ ! <Key>F9: string(0xc4) \n\
+ ! <Key>F10: string(0xcb) \n\
+ ! <Key>F11: string(0xcc) \n\
+ ! <Key>F12: string(0xea) string(0xeb) \n\
!Shift <Key>F1: string(0xe9) \n\
!Shift <Key>F2: string(0xea) \n\
!Shift <Key>F3: string(0xeb) \n\
- !Mod2 <Key>F5: string(0xec) \n\
- !Mod2 <Key>F6: string(0xed) \n\
- !Mod2 <Key>F7: string(0xee) \n\
- !Mod2 <Key>F8: string(0xef) \n\
- !Mod2 <Key>F9: string(0xf0) \n\
- !Mod2 <Key>F10: string(0xcd) \n\
- !Mod4 <Key>x: string(0xf2) \n\
+ !Shift <Key>F4: string(0xe9) string(0xeb) \n\
!Shift <Key>F5: string(0xf3) \n\
!Shift <Key>F6: string(0xf4) \n\
!Shift <Key>F7: string(0xf5) \n\
!Shift <Key>F8: string(0xf6) \n\
- !Shift <Key>F9: string(0xf7) \n\
- !Shift <Key>F10: string(0xf8) \n\
- !Mod2 <Key>F11: string(0xce) \n\
- !Mod2 <Key>F12: string(0xf1) \n\
- !Mod4 <Key>F8: string(0xfb) \n\
- !Mod4 <Key>F9: string(0xfc) \n\
- !Mod4 <Key>F10: string(0xfd) \n\
+ !Shift <Key>F9: string(0xca) \n\
+ !Shift <Key>F10: string(0xc9) \n\
+ !Ctrl <Key>F1: string(0xe6) \n\
+ !Ctrl <Key>F2: string(0xe7) \n\
+ !Ctrl <Key>F3: string(0xe8) \n\
+ !Ctrl <Key>F4: string(0xe6) string(0xe8) \n\
+ !Ctrl <Key>F5: string(0xc5) \n\
+ !Ctrl <Key>F6: string(0xc6) \n\
+ !Ctrl <Key>F7: string(0xc7) \n\
+ !Ctrl <Key>F8: string(0xc8) \n\
+ !Ctrl <Key>F9: string(0xfd) \n\
+ !Ctrl <Key>F10: string(0xcd) \n\
+ !Mod2 <Key>F1: string(0xed) \n\
+ !Mod2 <Key>F2: string(0xee) \n\
+ !Mod2 <Key>F3: string(0xef) \n\
+ !Mod2 <Key>F4: string(0xf0) \n\
+ !Mod2 <Key>F5: string(0xd4) \n\
+ !Mod2 <Key>F6: string(0xd5) \n\
+ !Mod2 <Key>F7: string(0xd6) \n\
+ !Mod2 <Key>F8: string(0xd7) \n\
+ !Mod2 <Key>F9: string(0xdc) \n\
+ !Mod2 <Key>F10: string(0xf8) \n\
+ !Mod4 <Key>F1: string(0xf9) \n\
+ !Mod4 <Key>F2: string(0xfa) \n\
+ !Mod4 <Key>F3: string(0xfb) \n\
+ !Mod4 <Key>F4: string(0xfc) \n\
+ !Mod4 <Key>F5: string(0xd0) \n\
+ !Mod4 <Key>F6: string(0xd1) \n\
+ !Mod4 <Key>F7: string(0xd2) \n\
+ !Mod4 <Key>F8: string(0xd3) \n\
+ !Mod4 <Key>F9: string(0xf7) \n\
+ !Mod4 <Key>F10: string(0xec) \n\
!Mod4 <Key>F11: string(0xfe) \n\
- !Mod4 <Key>F12: string(0xff) \n\
- !Shift <Key>F4: string(0xe9) string(0xeb) \n\
- !Mod2 <Key>F4: string(0xe6) string(0xe8) \n\
- !Mod4 <Key>i: string(0xe7) string(0xe8) \n\
- !Mod4 Shift <Key>i: string(0xea) string(0xeb) \n\
- !Mod4 <Key>m: string(0xe8) \n\
- !Mod4 Shift <Key>m: string(0xeb) \n\
- !Mod4 Shift <Key>n: string(0xf7) \n\
- ! <Key>F9: string(0xc4) \n\
- ! <Key>F10: string(0xea) string(0xeb) \n\
- ! <Key>F11: string(0xda) \n\
- ! <Key>F12: string(0xdb) \
+ !Mod4 <Key>F12: string(0xff) \
" $* -e $ISATERMDIR/initisaterm
--- a/src/Tools/8bit/vim/isavim Fri Feb 20 16:00:18 1998 +0100
+++ b/src/Tools/8bit/vim/isavim Fri Feb 20 16:02:21 1998 +0100
@@ -63,6 +63,7 @@
*fontMenu*font2*Label: Isabelle 24 bold" -xrm "\
*VT100*font2: isabelle24" -xrm "\
*xterm*vt100.translations: #override\
+ !Mod2 <Key>space: string(0xa0) \n\
!Mod2 Shift <Key>g: string(0xa1) \n\
!Mod2 Shift <Key>d: string(0xa2) \n\
!Mod2 Shift <Key>j: string(0xa3) \n\
@@ -99,25 +100,6 @@
!Mod4 <Key>f: string(0xc2) \n\
!Mod4 <Key>t: string(0xc3) \n\
!Mod4 Shift <Key>f: string(0xc4) \n\
- !Ctrl <Key>F5: string(0xc5) \n\
- !Ctrl <Key>F6: string(0xc6) \n\
- !Ctrl <Key>F7: string(0xc7) \n\
- !Ctrl <Key>F8: string(0xc8) \n\
- !Ctrl <Key>F9: string(0xc9) \n\
- !Ctrl <Key>F10: string(0xca) \n\
- !Ctrl <Key>F11: string(0xcb) \n\
- !Ctrl <Key>F12: string(0xcc) \n\
- !Mod4 <Key>F5: string(0xcf) \n\
- !Mod4 <Key>F6: string(0xf9) \n\
- !Mod4 <Key>F7: string(0xfa) \n\
- !Mod4 <Key>F1: string(0xd0) \n\
- !Mod4 <Key>F2: string(0xd1) \n\
- !Mod4 <Key>F3: string(0xd2) \n\
- !Mod4 <Key>F4: string(0xd3) \n\
- !Ctrl <Key>F1: string(0xd4) \n\
- !Ctrl <Key>F2: string(0xd5) \n\
- !Ctrl <Key>F3: string(0xd6) \n\
- !Ctrl <Key>F4: string(0xd7) \n\
!Mod4 <Key>b: string(0xd8) \n\
!Mod4 <Key>e: string(0xd9) \n\
!Mod4 Shift <Key>e: string(0xda) \n\
@@ -130,43 +112,63 @@
!Mod4 Shift <Key>g: string(0xe1) \n\
!Mod4 <Key>s: string(0xe2) \n\
!Mod4 Shift <Key>s: string(0xe3) \n\
- !Shift <Key>F11: string(0xe4) \n\
- !Shift <Key>F12: string(0xe5) \n\
- !Mod2 <Key>F1: string(0xe6) \n\
- !Mod2 <Key>F2: string(0xe7) \n\
- !Mod2 <Key>F3: string(0xe8) \n\
+ !Mod4 <Key>i: string(0xe7) string(0xe8) \n\
+ !Mod4 Shift <Key>i: string(0xea) string(0xeb) \n\
+ !Mod4 Shift <Key>m: string(0xe8) \n\
+ !Mod4 <Key>m: string(0xeb) \n\
+ !Mod4 Shift <Key>n: string(0xf7) \n\
+ !Mod4 <Key>x: string(0xf2) \n\
+ ! <Key>F2: string(0xe4) \n\
+ ! <Key>F3: string(0xdd) \n\
+ ! <Key>F4: string(0xcf) \n\
+ ! <Key>F5: string(0xce) \n\
+ ! <Key>F6: string(0xf1) \n\
+ ! <Key>F7: string(0xe5) \n\
+ ! <Key>F8: string(0xda) \n\
+ ! <Key>F9: string(0xc4) \n\
+ ! <Key>F10: string(0xcb) \n\
+ ! <Key>F11: string(0xcc) \n\
+ ! <Key>F12: string(0xea) string(0xeb) \n\
!Shift <Key>F1: string(0xe9) \n\
!Shift <Key>F2: string(0xea) \n\
!Shift <Key>F3: string(0xeb) \n\
- !Mod2 <Key>F5: string(0xec) \n\
- !Mod2 <Key>F6: string(0xed) \n\
- !Mod2 <Key>F7: string(0xee) \n\
- !Mod2 <Key>F8: string(0xef) \n\
- !Mod2 <Key>F9: string(0xf0) \n\
- !Mod2 <Key>F10: string(0xcd) \n\
- !Mod4 <Key>x: string(0xf2) \n\
+ !Shift <Key>F4: string(0xe9) string(0xeb) \n\
!Shift <Key>F5: string(0xf3) \n\
!Shift <Key>F6: string(0xf4) \n\
!Shift <Key>F7: string(0xf5) \n\
!Shift <Key>F8: string(0xf6) \n\
- !Shift <Key>F9: string(0xf7) \n\
- !Shift <Key>F10: string(0xf8) \n\
- !Mod2 <Key>F11: string(0xce) \n\
- !Mod2 <Key>F12: string(0xf1) \n\
- !Mod4 <Key>F8: string(0xfb) \n\
- !Mod4 <Key>F9: string(0xfc) \n\
- !Mod4 <Key>F10: string(0xfd) \n\
+ !Shift <Key>F9: string(0xca) \n\
+ !Shift <Key>F10: string(0xc9) \n\
+ !Ctrl <Key>F1: string(0xe6) \n\
+ !Ctrl <Key>F2: string(0xe7) \n\
+ !Ctrl <Key>F3: string(0xe8) \n\
+ !Ctrl <Key>F4: string(0xe6) string(0xe8) \n\
+ !Ctrl <Key>F5: string(0xc5) \n\
+ !Ctrl <Key>F6: string(0xc6) \n\
+ !Ctrl <Key>F7: string(0xc7) \n\
+ !Ctrl <Key>F8: string(0xc8) \n\
+ !Ctrl <Key>F9: string(0xfd) \n\
+ !Ctrl <Key>F10: string(0xcd) \n\
+ !Mod2 <Key>F1: string(0xed) \n\
+ !Mod2 <Key>F2: string(0xee) \n\
+ !Mod2 <Key>F3: string(0xef) \n\
+ !Mod2 <Key>F4: string(0xf0) \n\
+ !Mod2 <Key>F5: string(0xd4) \n\
+ !Mod2 <Key>F6: string(0xd5) \n\
+ !Mod2 <Key>F7: string(0xd6) \n\
+ !Mod2 <Key>F8: string(0xd7) \n\
+ !Mod2 <Key>F9: string(0xdc) \n\
+ !Mod2 <Key>F10: string(0xf8) \n\
+ !Mod4 <Key>F1: string(0xf9) \n\
+ !Mod4 <Key>F2: string(0xfa) \n\
+ !Mod4 <Key>F3: string(0xfb) \n\
+ !Mod4 <Key>F4: string(0xfc) \n\
+ !Mod4 <Key>F5: string(0xd0) \n\
+ !Mod4 <Key>F6: string(0xd1) \n\
+ !Mod4 <Key>F7: string(0xd2) \n\
+ !Mod4 <Key>F8: string(0xd3) \n\
+ !Mod4 <Key>F9: string(0xf7) \n\
+ !Mod4 <Key>F10: string(0xec) \n\
!Mod4 <Key>F11: string(0xfe) \n\
- !Mod4 <Key>F12: string(0xff) \n\
- !Shift <Key>F4: string(0xe9) string(0xeb) \n\
- !Mod2 <Key>F4: string(0xe6) string(0xe8) \n\
- !Mod4 <Key>i: string(0xe7) string(0xe8) \n\
- !Mod4 Shift <Key>i: string(0xea) string(0xeb) \n\
- !Mod4 <Key>m: string(0xe8) \n\
- !Mod4 Shift <Key>m: string(0xeb) \n\
- !Mod4 Shift <Key>n: string(0xf7) \n\
- ! <Key>F9: string(0xc4) \n\
- ! <Key>F10: string(0xea) string(0xeb) \n\
- ! <Key>F11: string(0xda) \n\
- ! <Key>F12: string(0xdb) \
+ !Mod4 <Key>F12: string(0xff) \
" -e $ISAVIMDIR/initvim $*
--- a/src/Tools/8bit/xemacs/isa_xemacs.emacs Fri Feb 20 16:00:18 1998 +0100
+++ b/src/Tools/8bit/xemacs/isa_xemacs.emacs Fri Feb 20 16:02:21 1998 +0100
@@ -39,6 +39,7 @@
;; key-map for Isabelle font
;;
;; BEGIN-KEY-MAP
+(global-set-key '(super space) '(lambda () (interactive) (insert "\240")))
(global-set-key '(super G) '(lambda () (interactive) (insert "\241")))
(global-set-key '(super D) '(lambda () (interactive) (insert "\242")))
(global-set-key '(super J) '(lambda () (interactive) (insert "\243")))
@@ -75,25 +76,6 @@
(global-set-key '(hyper f) '(lambda () (interactive) (insert "\302")))
(global-set-key '(hyper t) '(lambda () (interactive) (insert "\303")))
(global-set-key '(hyper F) '(lambda () (interactive) (insert "\304")))
-(global-set-key '(control f5) '(lambda () (interactive) (insert "\305")))
-(global-set-key '(control f6) '(lambda () (interactive) (insert "\306")))
-(global-set-key '(control f7) '(lambda () (interactive) (insert "\307")))
-(global-set-key '(control f8) '(lambda () (interactive) (insert "\310")))
-(global-set-key '(control f9) '(lambda () (interactive) (insert "\311")))
-(global-set-key '(control f10) '(lambda () (interactive) (insert "\312")))
-(global-set-key '(control f11) '(lambda () (interactive) (insert "\313")))
-(global-set-key '(control f12) '(lambda () (interactive) (insert "\314")))
-(global-set-key '(hyper f5) '(lambda () (interactive) (insert "\317")))
-(global-set-key '(hyper f6) '(lambda () (interactive) (insert "\371")))
-(global-set-key '(hyper f7) '(lambda () (interactive) (insert "\372")))
-(global-set-key '(hyper f1) '(lambda () (interactive) (insert "\320")))
-(global-set-key '(hyper f2) '(lambda () (interactive) (insert "\321")))
-(global-set-key '(hyper f3) '(lambda () (interactive) (insert "\322")))
-(global-set-key '(hyper f4) '(lambda () (interactive) (insert "\323")))
-(global-set-key '(control f1) '(lambda () (interactive) (insert "\324")))
-(global-set-key '(control f2) '(lambda () (interactive) (insert "\325")))
-(global-set-key '(control f3) '(lambda () (interactive) (insert "\326")))
-(global-set-key '(control f4) '(lambda () (interactive) (insert "\327")))
(global-set-key '(hyper b) '(lambda () (interactive) (insert "\330")))
(global-set-key '(hyper e) '(lambda () (interactive) (insert "\331")))
(global-set-key '(hyper E) '(lambda () (interactive) (insert "\332")))
@@ -106,45 +88,65 @@
(global-set-key '(hyper G) '(lambda () (interactive) (insert "\341")))
(global-set-key '(hyper s) '(lambda () (interactive) (insert "\342")))
(global-set-key '(hyper S) '(lambda () (interactive) (insert "\343")))
-(global-set-key '(shift f11) '(lambda () (interactive) (insert "\344")))
-(global-set-key '(shift f12) '(lambda () (interactive) (insert "\345")))
-(global-set-key '(super f1) '(lambda () (interactive) (insert "\346")))
-(global-set-key '(super f2) '(lambda () (interactive) (insert "\347")))
-(global-set-key '(super f3) '(lambda () (interactive) (insert "\350")))
+(global-set-key '(hyper i) '(lambda () (interactive) (insert "\347")(insert "\350")))
+(global-set-key '(hyper I) '(lambda () (interactive) (insert "\352")(insert "\353")))
+(global-set-key '(hyper M) '(lambda () (interactive) (insert "\350")))
+(global-set-key '(hyper m) '(lambda () (interactive) (insert "\353")))
+(global-set-key '(hyper N) '(lambda () (interactive) (insert "\367")))
+(global-set-key '(hyper x) '(lambda () (interactive) (insert "\362")))
+(global-set-key '(f2) '(lambda () (interactive) (insert "\344")))
+(global-set-key '(f3) '(lambda () (interactive) (insert "\335")))
+(global-set-key '(f4) '(lambda () (interactive) (insert "\317")))
+(global-set-key '(f5) '(lambda () (interactive) (insert "\316")))
+(global-set-key '(f6) '(lambda () (interactive) (insert "\361")))
+(global-set-key '(f7) '(lambda () (interactive) (insert "\345")))
+(global-set-key '(f8) '(lambda () (interactive) (insert "\332")))
+(global-set-key '(f9) '(lambda () (interactive) (insert "\304")))
+(global-set-key '(f10) '(lambda () (interactive) (insert "\313")))
+(global-set-key '(f11) '(lambda () (interactive) (insert "\314")))
+(global-set-key '(f12) '(lambda () (interactive) (insert "\352")(insert "\353")))
(global-set-key '(shift f1) '(lambda () (interactive) (insert "\351")))
(global-set-key '(shift f2) '(lambda () (interactive) (insert "\352")))
(global-set-key '(shift f3) '(lambda () (interactive) (insert "\353")))
-(global-set-key '(super f5) '(lambda () (interactive) (insert "\354")))
-(global-set-key '(super f6) '(lambda () (interactive) (insert "\355")))
-(global-set-key '(super f7) '(lambda () (interactive) (insert "\356")))
-(global-set-key '(super f8) '(lambda () (interactive) (insert "\357")))
-(global-set-key '(super f9) '(lambda () (interactive) (insert "\360")))
-(global-set-key '(super f10) '(lambda () (interactive) (insert "\315")))
-(global-set-key '(hyper x) '(lambda () (interactive) (insert "\362")))
+(global-set-key '(shift f4) '(lambda () (interactive) (insert "\351")(insert "\353")))
(global-set-key '(shift f5) '(lambda () (interactive) (insert "\363")))
(global-set-key '(shift f6) '(lambda () (interactive) (insert "\364")))
(global-set-key '(shift f7) '(lambda () (interactive) (insert "\365")))
(global-set-key '(shift f8) '(lambda () (interactive) (insert "\366")))
-(global-set-key '(shift f9) '(lambda () (interactive) (insert "\367")))
-(global-set-key '(shift f10) '(lambda () (interactive) (insert "\370")))
-(global-set-key '(super f11) '(lambda () (interactive) (insert "\316")))
-(global-set-key '(super f12) '(lambda () (interactive) (insert "\361")))
-(global-set-key '(hyper f8) '(lambda () (interactive) (insert "\373")))
-(global-set-key '(hyper f9) '(lambda () (interactive) (insert "\374")))
-(global-set-key '(hyper f10) '(lambda () (interactive) (insert "\375")))
+(global-set-key '(shift f9) '(lambda () (interactive) (insert "\312")))
+(global-set-key '(shift f10) '(lambda () (interactive) (insert "\311")))
+(global-set-key '(control f1) '(lambda () (interactive) (insert "\346")))
+(global-set-key '(control f2) '(lambda () (interactive) (insert "\347")))
+(global-set-key '(control f3) '(lambda () (interactive) (insert "\350")))
+(global-set-key '(control f4) '(lambda () (interactive) (insert "\346")(insert "\350")))
+(global-set-key '(control f5) '(lambda () (interactive) (insert "\305")))
+(global-set-key '(control f6) '(lambda () (interactive) (insert "\306")))
+(global-set-key '(control f7) '(lambda () (interactive) (insert "\307")))
+(global-set-key '(control f8) '(lambda () (interactive) (insert "\310")))
+(global-set-key '(control f9) '(lambda () (interactive) (insert "\375")))
+(global-set-key '(control f10) '(lambda () (interactive) (insert "\315")))
+(global-set-key '(super f1) '(lambda () (interactive) (insert "\355")))
+(global-set-key '(super f2) '(lambda () (interactive) (insert "\356")))
+(global-set-key '(super f3) '(lambda () (interactive) (insert "\357")))
+(global-set-key '(super f4) '(lambda () (interactive) (insert "\360")))
+(global-set-key '(super f5) '(lambda () (interactive) (insert "\324")))
+(global-set-key '(super f6) '(lambda () (interactive) (insert "\325")))
+(global-set-key '(super f7) '(lambda () (interactive) (insert "\326")))
+(global-set-key '(super f8) '(lambda () (interactive) (insert "\327")))
+(global-set-key '(super f9) '(lambda () (interactive) (insert "\334")))
+(global-set-key '(super f10) '(lambda () (interactive) (insert "\370")))
+(global-set-key '(hyper f1) '(lambda () (interactive) (insert "\371")))
+(global-set-key '(hyper f2) '(lambda () (interactive) (insert "\372")))
+(global-set-key '(hyper f3) '(lambda () (interactive) (insert "\373")))
+(global-set-key '(hyper f4) '(lambda () (interactive) (insert "\374")))
+(global-set-key '(hyper f5) '(lambda () (interactive) (insert "\320")))
+(global-set-key '(hyper f6) '(lambda () (interactive) (insert "\321")))
+(global-set-key '(hyper f7) '(lambda () (interactive) (insert "\322")))
+(global-set-key '(hyper f8) '(lambda () (interactive) (insert "\323")))
+(global-set-key '(hyper f9) '(lambda () (interactive) (insert "\367")))
+(global-set-key '(hyper f10) '(lambda () (interactive) (insert "\354")))
(global-set-key '(hyper f11) '(lambda () (interactive) (insert "\376")))
(global-set-key '(hyper f12) '(lambda () (interactive) (insert "\377")))
-(global-set-key '(shift f4) '(lambda () (interactive) (insert "\351")(insert "\353")))
-(global-set-key '(super f4) '(lambda () (interactive) (insert "\346")(insert "\350")))
-(global-set-key '(hyper i) '(lambda () (interactive) (insert "\347")(insert "\350")))
-(global-set-key '(hyper I) '(lambda () (interactive) (insert "\352")(insert "\353")))
-(global-set-key '(hyper m) '(lambda () (interactive) (insert "\350")))
-(global-set-key '(hyper M) '(lambda () (interactive) (insert "\353")))
-(global-set-key '(hyper N) '(lambda () (interactive) (insert "\367")))
-(global-set-key '(f9) '(lambda () (interactive) (insert "\304")))
-(global-set-key '(f10) '(lambda () (interactive) (insert "\352")(insert "\353")))
-(global-set-key '(f11) '(lambda () (interactive) (insert "\332")))
-(global-set-key '(f12) '(lambda () (interactive) (insert "\333")))
;; END-KEY-MAP