--- 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;\
--- 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
--- 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