re-arranged bindings for many function keys
authoroheimb
Fri, 20 Feb 1998 16:02:21 +0100
changeset 4638 49c1b2b63aa0
parent 4637 bac998af6ea2
child 4639 bc6e2936a293
re-arranged bindings for many function keys
src/Tools/8bit/axe/isaaxe
src/Tools/8bit/config/key-table.inp
src/Tools/8bit/doc/palette.isa
src/Tools/8bit/gnu_emacs/isa_gnu_emacs.emacs
src/Tools/8bit/term/isaterm
src/Tools/8bit/vim/isavim
src/Tools/8bit/xemacs/isa_xemacs.emacs
--- 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