# HG changeset patch
# User oheimb
# Date 908804066 -7200
# Node ID 329225a6b6e089b2dc619121ddf38beceef1c202
# Parent  da670b37857e7034997c07d16256fc79875fe5ce
changed Super_L and Hyper_R to left and right Meta

diff -r da670b37857e -r 329225a6b6e0 src/Tools/8bit/Makefile
--- a/src/Tools/8bit/Makefile	Mon Oct 19 13:50:25 1998 +0200
+++ b/src/Tools/8bit/Makefile	Mon Oct 19 15:34:26 1998 +0200
@@ -44,13 +44,11 @@
 #GMAKE=make
 GMAKE=gmake
 
-#keycode for Super_L       26 on SUN, 64  on Linux box 
-#SUPER_L=64
-SUPER_L=26
+#keycode for Super_L  (= left Meta)
+SUPER_L=127
 
-#keycode for Hyper_R       20 on SUN, 113 on Linux box 
-#HYPER_R=113
-HYPER_R=20
+#keycode for Hyper_R (= right Meta)
+HYPER_R=129
 
 CONFIGFILES = config/Makefile config/key-table.inp config/conv-tables.inp
 
@@ -151,7 +149,7 @@
 #######      Generators        
 
 # ----------------------------------------------------
-	
+
 bin/gen-isa2latex: Makefile #perl/generators/gen-isa2latex.pl
 	@echo "configuring gen-isa2latex"
 	@cd perl/generators;\
@@ -163,7 +161,7 @@
 	ln -s ../perl/generators/gen-isa2latex.pl bin/gen-isa2latex
 
 # ----------------------------------------------------
-	
+
 bin/gen-isaterm: Makefile #perl/generators/gen-isaterm.pl
 	@echo "configuring gen-isaterm"
 	@cd perl/generators;\
@@ -174,7 +172,7 @@
 	ln -s ../perl/generators/gen-isaterm.pl bin/gen-isaterm
 
 # ----------------------------------------------------
-	
+
 bin/gen-isavim: Makefile #perl/generators/gen-isavim.pl
 	@echo "configuring gen-isavim"
 	@cd perl/generators;\
@@ -185,7 +183,7 @@
 	ln -s ../perl/generators/gen-isavim.pl bin/gen-isavim
 
 # ----------------------------------------------------
-	
+
 bin/gen-isaaxe: Makefile #perl/generators/gen-isaaxe.pl
 	@echo "configuring gen-isaaxe"
 	@cd perl/generators;\
@@ -196,7 +194,7 @@
 	ln -s ../perl/generators/gen-isaaxe.pl bin/gen-isaaxe
 
 # ----------------------------------------------------
-	
+
 bin/gen-isa_gnu_emacs: Makefile #perl/generators/gen-isa_gnu_emacs.pl
 	@echo "configuring gen-isa_gnu_emacs"
 	@cd perl/generators;\
@@ -207,7 +205,7 @@
 	ln -s ../perl/generators/gen-isa_gnu_emacs.pl bin/gen-isa_gnu_emacs
 
 # ----------------------------------------------------
-	
+
 bin/gen-isa_xemacs: Makefile #perl/generators/gen-isa_xemacs.pl
 	@echo "configuring gen-isa_xemacs"
 	@cd perl/generators;\
@@ -218,7 +216,7 @@
 	ln -s ../perl/generators/gen-isa_xemacs.pl bin/gen-isa_xemacs
 
 # ----------------------------------------------------
-	
+
 bin/gen-isadoc: Makefile #perl/generators/gen-isadoc.pl
 	@echo "configuring gen-isadoc"
 	@cd perl/generators;\
@@ -234,7 +232,7 @@
 #######      Converter        
 
 # ----------------------------------------------------
-	
+
 #isa2latex, editor support, font documentation:
 configuration:
 	@cd config; $(GMAKE)
@@ -263,7 +261,7 @@
 #######      Editors        
 
 # ----------------------------------------------------
-	
+
 bin/isa_gnu_emacs: Makefile #gnu_emacs/isa_gnu_emacs
 	@echo "installing GNU emacs"
 	@cd gnu_emacs;\
@@ -276,7 +274,7 @@
 	ln -s ../gnu_emacs/isa_gnu_emacs bin/isa_gnu_emacs
 
 # ----------------------------------------------------
-	
+
 bin/isa_xemacs: Makefile #xemacs/isa_xemacs
 	@echo "installing xemacs"
 	@@cd xemacs;\
@@ -289,7 +287,7 @@
 	ln -s ../xemacs/isa_xemacs bin/isa_xemacs
 
 # ----------------------------------------------------
-	
+
 bin/isavim: Makefile #vim/isavim
 	@echo "installing vim"
 	@@cd vim;\
@@ -303,7 +301,7 @@
 	ln -s ../vim/isavim bin/isavim
 
 # ----------------------------------------------------
-	
+
 bin/isaaxe: Makefile #axe/isaaxe
 	@echo "installing axe"
 	@cd axe;\
@@ -314,7 +312,7 @@
 	ln -s ../axe/isaaxe bin/isaaxe
 
 # ----------------------------------------------------
-	
+
 bin/isa_xmosaic: Makefile #xmosaic/isa_xmosaic
 	@echo "installing xmosaic"
 	@cd xmosaic;\
diff -r da670b37857e -r 329225a6b6e0 src/Tools/8bit/keyboard/install
--- a/src/Tools/8bit/keyboard/install	Mon Oct 19 13:50:25 1998 +0200
+++ b/src/Tools/8bit/keyboard/install	Mon Oct 19 15:34:26 1998 +0200
@@ -6,23 +6,23 @@
 # by the Master Makefile. You should configure them there.
 ###############################################
 
-#keycode for Super_L (= Alt   )      26 on SUN, 64  on Linux box 
-SUPER_L=26
+#keycode for Super_L (= left Meta)
+SUPER_L=127
 
-#keycode for Hyper_R (= Alt Gr)      20 on SUN, 113 on Linux box 
-HYPER_R=20
+#keycode for Hyper_R (= right Meta)
+HYPER_R=129
 
 
 # define modifier keys for Isabelle keystrokes
-# map super-key onto MetaL-key
+# map super-key onto left Meta key
 xmodmap -e "keycode $SUPER_L = Super_L"
 
-# map hyper-key onto MetaR-key
+# map hyper-key onto right Meta key
 xmodmap -e "keycode $HYPER_R = Hyper_R"
 
 # define new keysyms to generate Mod1 and Mod5
-xmodmap -e "clear Mod3" -e "clear Mod1" -e "add Mod1 = Super_L"
-xmodmap -e "clear Mod2" -e "clear Mod5" -e "add Mod5 = Hyper_R"
+xmodmap -e "clear Mod1" -e "add Mod1 = Super_L"
+xmodmap -e "clear Mod5" -e "add Mod5 = Hyper_R"
 
 # make bash, axe, and vim accept 8 bit input 
 #export LANG=iso_8859_1
diff -r da670b37857e -r 329225a6b6e0 src/Tools/8bit/term/isaterm
--- a/src/Tools/8bit/term/isaterm	Mon Oct 19 13:50:25 1998 +0200
+++ b/src/Tools/8bit/term/isaterm	Mon Oct 19 15:34:26 1998 +0200
@@ -50,61 +50,61 @@
 *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\
-	!Mod2 Shift <Key>l:		string(0xa4)  \n\
-	!Mod2 Shift <Key>p:		string(0xa5)  \n\
-	!Mod2 Shift <Key>s:		string(0xa6)  \n\
-	!Mod2 Shift <Key>f:		string(0xa7)  \n\
-	!Mod2 Shift <Key>q:		string(0xa8)  \n\
-	!Mod2 Shift <Key>w:		string(0xa9)  \n\
-	!Mod2 <Key>a:		string(0xaa)  \n\
-	!Mod2 <Key>b:		string(0xab)  \n\
-	!Mod2 <Key>g:		string(0xac)  \n\
-	!Mod2 <Key>d:		string(0xad)  \n\
-	!Mod2 <Key>e:		string(0xae)  \n\
-	!Mod2 <Key>z:		string(0xaf)  \n\
-	!Mod2 <Key>h:		string(0xb0)  \n\
-	!Mod2 <Key>j:		string(0xb1)  \n\
-	!Mod2 <Key>k:		string(0xb2)  \n\
-	!Mod2 <Key>l:		string(0xb3)  \n\
-	!Mod2 <Key>m:		string(0xb4)  \n\
-	!Mod2 <Key>n:		string(0xb5)  \n\
-	!Mod2 <Key>x:		string(0xb6)  \n\
-	!Mod2 <Key>p:		string(0xb7)  \n\
-	!Mod2 <Key>r:		string(0xb8)  \n\
-	!Mod2 <Key>s:		string(0xb9)  \n\
-	!Mod2 <Key>t:		string(0xba)  \n\
-	!Mod2 <Key>f:		string(0xbb)  \n\
-	!Mod2 <Key>c:		string(0xbc)  \n\
-	!Mod2 <Key>q:		string(0xbd)  \n\
-	!Mod2 <Key>w:		string(0xbe)  \n\
-	!Mod4 <Key>n:		string(0xbf)  \n\
-	!Mod4 <Key>a:		string(0xc0)  \n\
-	!Mod4 <Key>o:		string(0xc1)  \n\
-	!Mod4 <Key>f:		string(0xc2)  \n\
-	!Mod4 <Key>t:		string(0xc3)  \n\
-	!Mod4 Shift <Key>f:		string(0xc4)  \n\
-	!Mod4 <Key>b:		string(0xd8)  \n\
-	!Mod4 <Key>e:		string(0xd9)  \n\
-	!Mod4 Shift <Key>e:		string(0xda)  \n\
-	!Mod4 <Key>u:		string(0xdb)  \n\
-	!Mod4 <Key>p:		string(0xdc)  \n\
-	!Mod4 Shift <Key>p:		string(0xdd)  \n\
-	!Mod4 <Key>l:		string(0xde)  \n\
-	!Mod4 Shift <Key>l:		string(0xdf)  \n\
-	!Mod4 <Key>g:		string(0xe0)  \n\
-	!Mod4 Shift <Key>g:		string(0xe1)  \n\
-	!Mod4 <Key>s:		string(0xe2)  \n\
-	!Mod4 Shift <Key>s:		string(0xe3)  \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\
+	!Mod1 <Key>space:		string(0xa0)  \n\
+	!Mod1 Shift <Key>g:		string(0xa1)  \n\
+	!Mod1 Shift <Key>d:		string(0xa2)  \n\
+	!Mod1 Shift <Key>j:		string(0xa3)  \n\
+	!Mod1 Shift <Key>l:		string(0xa4)  \n\
+	!Mod1 Shift <Key>p:		string(0xa5)  \n\
+	!Mod1 Shift <Key>s:		string(0xa6)  \n\
+	!Mod1 Shift <Key>f:		string(0xa7)  \n\
+	!Mod1 Shift <Key>q:		string(0xa8)  \n\
+	!Mod1 Shift <Key>w:		string(0xa9)  \n\
+	!Mod1 <Key>a:		string(0xaa)  \n\
+	!Mod1 <Key>b:		string(0xab)  \n\
+	!Mod1 <Key>g:		string(0xac)  \n\
+	!Mod1 <Key>d:		string(0xad)  \n\
+	!Mod1 <Key>e:		string(0xae)  \n\
+	!Mod1 <Key>z:		string(0xaf)  \n\
+	!Mod1 <Key>h:		string(0xb0)  \n\
+	!Mod1 <Key>j:		string(0xb1)  \n\
+	!Mod1 <Key>k:		string(0xb2)  \n\
+	!Mod1 <Key>l:		string(0xb3)  \n\
+	!Mod1 <Key>m:		string(0xb4)  \n\
+	!Mod1 <Key>n:		string(0xb5)  \n\
+	!Mod1 <Key>x:		string(0xb6)  \n\
+	!Mod1 <Key>p:		string(0xb7)  \n\
+	!Mod1 <Key>r:		string(0xb8)  \n\
+	!Mod1 <Key>s:		string(0xb9)  \n\
+	!Mod1 <Key>t:		string(0xba)  \n\
+	!Mod1 <Key>f:		string(0xbb)  \n\
+	!Mod1 <Key>c:		string(0xbc)  \n\
+	!Mod1 <Key>q:		string(0xbd)  \n\
+	!Mod1 <Key>w:		string(0xbe)  \n\
+	!Mod5 <Key>n:		string(0xbf)  \n\
+	!Mod5 <Key>a:		string(0xc0)  \n\
+	!Mod5 <Key>o:		string(0xc1)  \n\
+	!Mod5 <Key>f:		string(0xc2)  \n\
+	!Mod5 <Key>t:		string(0xc3)  \n\
+	!Mod5 Shift <Key>f:		string(0xc4)  \n\
+	!Mod5 <Key>b:		string(0xd8)  \n\
+	!Mod5 <Key>e:		string(0xd9)  \n\
+	!Mod5 Shift <Key>e:		string(0xda)  \n\
+	!Mod5 <Key>u:		string(0xdb)  \n\
+	!Mod5 <Key>p:		string(0xdc)  \n\
+	!Mod5 Shift <Key>p:		string(0xdd)  \n\
+	!Mod5 <Key>l:		string(0xde)  \n\
+	!Mod5 Shift <Key>l:		string(0xdf)  \n\
+	!Mod5 <Key>g:		string(0xe0)  \n\
+	!Mod5 Shift <Key>g:		string(0xe1)  \n\
+	!Mod5 <Key>s:		string(0xe2)  \n\
+	!Mod5 Shift <Key>s:		string(0xe3)  \n\
+	!Mod5 <Key>i:		string(0xe7) string(0xe8)  \n\
+	!Mod5 Shift <Key>i:		string(0xea) string(0xeb)  \n\
+	!Mod5 Shift <Key>m:		string(0xe8)  \n\
+	!Mod5 <Key>m:		string(0xeb)  \n\
+	!Mod5 Shift <Key>n:		string(0xf7)  \n\
+	!Mod5 <Key>x:		string(0xf2)  \n\
 	! <Key>F2:		string(0xe4)  \n\
 	! <Key>F3:		string(0xdd)  \n\
 	! <Key>F4:		string(0xcf)  \n\
@@ -136,26 +136,26 @@
 	!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)  \
+	!Mod1 <Key>F1:		string(0xed)  \n\
+	!Mod1 <Key>F2:		string(0xee)  \n\
+	!Mod1 <Key>F3:		string(0xef)  \n\
+	!Mod1 <Key>F4:		string(0xf0)  \n\
+	!Mod1 <Key>F5:		string(0xd4)  \n\
+	!Mod1 <Key>F6:		string(0xd5)  \n\
+	!Mod1 <Key>F7:		string(0xd6)  \n\
+	!Mod1 <Key>F8:		string(0xd7)  \n\
+	!Mod1 <Key>F9:		string(0xdc)  \n\
+	!Mod1 <Key>F10:		string(0xf8)  \n\
+	!Mod5 <Key>F1:		string(0xf9)  \n\
+	!Mod5 <Key>F2:		string(0xfa)  \n\
+	!Mod5 <Key>F3:		string(0xfb)  \n\
+	!Mod5 <Key>F4:		string(0xfc)  \n\
+	!Mod5 <Key>F5:		string(0xd0)  \n\
+	!Mod5 <Key>F6:		string(0xd1)  \n\
+	!Mod5 <Key>F7:		string(0xd2)  \n\
+	!Mod5 <Key>F8:		string(0xd3)  \n\
+	!Mod5 <Key>F9:		string(0xf7)  \n\
+	!Mod5 <Key>F10:		string(0xec)  \n\
+	!Mod5 <Key>F11:		string(0xfe)  \n\
+	!Mod5 <Key>F12:		string(0xff)  \
 " $* -e $ISATERMDIR/initisaterm