48 *fontMenu*font1*Label: Isabelle 14" -xrm "\ |
48 *fontMenu*font1*Label: Isabelle 14" -xrm "\ |
49 *VT100*font1: isabelle14" -xrm "\ |
49 *VT100*font1: isabelle14" -xrm "\ |
50 *fontMenu*font2*Label: Isabelle 24 bold" -xrm "\ |
50 *fontMenu*font2*Label: Isabelle 24 bold" -xrm "\ |
51 *VT100*font2: isabelle24" -xrm "\ |
51 *VT100*font2: isabelle24" -xrm "\ |
52 *xterm*vt100.translations: #override\ |
52 *xterm*vt100.translations: #override\ |
53 !Mod2 <Key>space: string(0xa0) \n\ |
53 !Mod1 <Key>space: string(0xa0) \n\ |
54 !Mod2 Shift <Key>g: string(0xa1) \n\ |
54 !Mod1 Shift <Key>g: string(0xa1) \n\ |
55 !Mod2 Shift <Key>d: string(0xa2) \n\ |
55 !Mod1 Shift <Key>d: string(0xa2) \n\ |
56 !Mod2 Shift <Key>j: string(0xa3) \n\ |
56 !Mod1 Shift <Key>j: string(0xa3) \n\ |
57 !Mod2 Shift <Key>l: string(0xa4) \n\ |
57 !Mod1 Shift <Key>l: string(0xa4) \n\ |
58 !Mod2 Shift <Key>p: string(0xa5) \n\ |
58 !Mod1 Shift <Key>p: string(0xa5) \n\ |
59 !Mod2 Shift <Key>s: string(0xa6) \n\ |
59 !Mod1 Shift <Key>s: string(0xa6) \n\ |
60 !Mod2 Shift <Key>f: string(0xa7) \n\ |
60 !Mod1 Shift <Key>f: string(0xa7) \n\ |
61 !Mod2 Shift <Key>q: string(0xa8) \n\ |
61 !Mod1 Shift <Key>q: string(0xa8) \n\ |
62 !Mod2 Shift <Key>w: string(0xa9) \n\ |
62 !Mod1 Shift <Key>w: string(0xa9) \n\ |
63 !Mod2 <Key>a: string(0xaa) \n\ |
63 !Mod1 <Key>a: string(0xaa) \n\ |
64 !Mod2 <Key>b: string(0xab) \n\ |
64 !Mod1 <Key>b: string(0xab) \n\ |
65 !Mod2 <Key>g: string(0xac) \n\ |
65 !Mod1 <Key>g: string(0xac) \n\ |
66 !Mod2 <Key>d: string(0xad) \n\ |
66 !Mod1 <Key>d: string(0xad) \n\ |
67 !Mod2 <Key>e: string(0xae) \n\ |
67 !Mod1 <Key>e: string(0xae) \n\ |
68 !Mod2 <Key>z: string(0xaf) \n\ |
68 !Mod1 <Key>z: string(0xaf) \n\ |
69 !Mod2 <Key>h: string(0xb0) \n\ |
69 !Mod1 <Key>h: string(0xb0) \n\ |
70 !Mod2 <Key>j: string(0xb1) \n\ |
70 !Mod1 <Key>j: string(0xb1) \n\ |
71 !Mod2 <Key>k: string(0xb2) \n\ |
71 !Mod1 <Key>k: string(0xb2) \n\ |
72 !Mod2 <Key>l: string(0xb3) \n\ |
72 !Mod1 <Key>l: string(0xb3) \n\ |
73 !Mod2 <Key>m: string(0xb4) \n\ |
73 !Mod1 <Key>m: string(0xb4) \n\ |
74 !Mod2 <Key>n: string(0xb5) \n\ |
74 !Mod1 <Key>n: string(0xb5) \n\ |
75 !Mod2 <Key>x: string(0xb6) \n\ |
75 !Mod1 <Key>x: string(0xb6) \n\ |
76 !Mod2 <Key>p: string(0xb7) \n\ |
76 !Mod1 <Key>p: string(0xb7) \n\ |
77 !Mod2 <Key>r: string(0xb8) \n\ |
77 !Mod1 <Key>r: string(0xb8) \n\ |
78 !Mod2 <Key>s: string(0xb9) \n\ |
78 !Mod1 <Key>s: string(0xb9) \n\ |
79 !Mod2 <Key>t: string(0xba) \n\ |
79 !Mod1 <Key>t: string(0xba) \n\ |
80 !Mod2 <Key>f: string(0xbb) \n\ |
80 !Mod1 <Key>f: string(0xbb) \n\ |
81 !Mod2 <Key>c: string(0xbc) \n\ |
81 !Mod1 <Key>c: string(0xbc) \n\ |
82 !Mod2 <Key>q: string(0xbd) \n\ |
82 !Mod1 <Key>q: string(0xbd) \n\ |
83 !Mod2 <Key>w: string(0xbe) \n\ |
83 !Mod1 <Key>w: string(0xbe) \n\ |
84 !Mod4 <Key>n: string(0xbf) \n\ |
84 !Mod5 <Key>n: string(0xbf) \n\ |
85 !Mod4 <Key>a: string(0xc0) \n\ |
85 !Mod5 <Key>a: string(0xc0) \n\ |
86 !Mod4 <Key>o: string(0xc1) \n\ |
86 !Mod5 <Key>o: string(0xc1) \n\ |
87 !Mod4 <Key>f: string(0xc2) \n\ |
87 !Mod5 <Key>f: string(0xc2) \n\ |
88 !Mod4 <Key>t: string(0xc3) \n\ |
88 !Mod5 <Key>t: string(0xc3) \n\ |
89 !Mod4 Shift <Key>f: string(0xc4) \n\ |
89 !Mod5 Shift <Key>f: string(0xc4) \n\ |
90 !Mod4 <Key>b: string(0xd8) \n\ |
90 !Mod5 <Key>b: string(0xd8) \n\ |
91 !Mod4 <Key>e: string(0xd9) \n\ |
91 !Mod5 <Key>e: string(0xd9) \n\ |
92 !Mod4 Shift <Key>e: string(0xda) \n\ |
92 !Mod5 Shift <Key>e: string(0xda) \n\ |
93 !Mod4 <Key>u: string(0xdb) \n\ |
93 !Mod5 <Key>u: string(0xdb) \n\ |
94 !Mod4 <Key>p: string(0xdc) \n\ |
94 !Mod5 <Key>p: string(0xdc) \n\ |
95 !Mod4 Shift <Key>p: string(0xdd) \n\ |
95 !Mod5 Shift <Key>p: string(0xdd) \n\ |
96 !Mod4 <Key>l: string(0xde) \n\ |
96 !Mod5 <Key>l: string(0xde) \n\ |
97 !Mod4 Shift <Key>l: string(0xdf) \n\ |
97 !Mod5 Shift <Key>l: string(0xdf) \n\ |
98 !Mod4 <Key>g: string(0xe0) \n\ |
98 !Mod5 <Key>g: string(0xe0) \n\ |
99 !Mod4 Shift <Key>g: string(0xe1) \n\ |
99 !Mod5 Shift <Key>g: string(0xe1) \n\ |
100 !Mod4 <Key>s: string(0xe2) \n\ |
100 !Mod5 <Key>s: string(0xe2) \n\ |
101 !Mod4 Shift <Key>s: string(0xe3) \n\ |
101 !Mod5 Shift <Key>s: string(0xe3) \n\ |
102 !Mod4 <Key>i: string(0xe7) string(0xe8) \n\ |
102 !Mod5 <Key>i: string(0xe7) string(0xe8) \n\ |
103 !Mod4 Shift <Key>i: string(0xea) string(0xeb) \n\ |
103 !Mod5 Shift <Key>i: string(0xea) string(0xeb) \n\ |
104 !Mod4 Shift <Key>m: string(0xe8) \n\ |
104 !Mod5 Shift <Key>m: string(0xe8) \n\ |
105 !Mod4 <Key>m: string(0xeb) \n\ |
105 !Mod5 <Key>m: string(0xeb) \n\ |
106 !Mod4 Shift <Key>n: string(0xf7) \n\ |
106 !Mod5 Shift <Key>n: string(0xf7) \n\ |
107 !Mod4 <Key>x: string(0xf2) \n\ |
107 !Mod5 <Key>x: string(0xf2) \n\ |
108 ! <Key>F2: string(0xe4) \n\ |
108 ! <Key>F2: string(0xe4) \n\ |
109 ! <Key>F3: string(0xdd) \n\ |
109 ! <Key>F3: string(0xdd) \n\ |
110 ! <Key>F4: string(0xcf) \n\ |
110 ! <Key>F4: string(0xcf) \n\ |
111 ! <Key>F5: string(0xce) \n\ |
111 ! <Key>F5: string(0xce) \n\ |
112 ! <Key>F6: string(0xf1) \n\ |
112 ! <Key>F6: string(0xf1) \n\ |
134 !Ctrl <Key>F6: string(0xc6) \n\ |
134 !Ctrl <Key>F6: string(0xc6) \n\ |
135 !Ctrl <Key>F7: string(0xc7) \n\ |
135 !Ctrl <Key>F7: string(0xc7) \n\ |
136 !Ctrl <Key>F8: string(0xc8) \n\ |
136 !Ctrl <Key>F8: string(0xc8) \n\ |
137 !Ctrl <Key>F9: string(0xfd) \n\ |
137 !Ctrl <Key>F9: string(0xfd) \n\ |
138 !Ctrl <Key>F10: string(0xcd) \n\ |
138 !Ctrl <Key>F10: string(0xcd) \n\ |
139 !Mod2 <Key>F1: string(0xed) \n\ |
139 !Mod1 <Key>F1: string(0xed) \n\ |
140 !Mod2 <Key>F2: string(0xee) \n\ |
140 !Mod1 <Key>F2: string(0xee) \n\ |
141 !Mod2 <Key>F3: string(0xef) \n\ |
141 !Mod1 <Key>F3: string(0xef) \n\ |
142 !Mod2 <Key>F4: string(0xf0) \n\ |
142 !Mod1 <Key>F4: string(0xf0) \n\ |
143 !Mod2 <Key>F5: string(0xd4) \n\ |
143 !Mod1 <Key>F5: string(0xd4) \n\ |
144 !Mod2 <Key>F6: string(0xd5) \n\ |
144 !Mod1 <Key>F6: string(0xd5) \n\ |
145 !Mod2 <Key>F7: string(0xd6) \n\ |
145 !Mod1 <Key>F7: string(0xd6) \n\ |
146 !Mod2 <Key>F8: string(0xd7) \n\ |
146 !Mod1 <Key>F8: string(0xd7) \n\ |
147 !Mod2 <Key>F9: string(0xdc) \n\ |
147 !Mod1 <Key>F9: string(0xdc) \n\ |
148 !Mod2 <Key>F10: string(0xf8) \n\ |
148 !Mod1 <Key>F10: string(0xf8) \n\ |
149 !Mod4 <Key>F1: string(0xf9) \n\ |
149 !Mod5 <Key>F1: string(0xf9) \n\ |
150 !Mod4 <Key>F2: string(0xfa) \n\ |
150 !Mod5 <Key>F2: string(0xfa) \n\ |
151 !Mod4 <Key>F3: string(0xfb) \n\ |
151 !Mod5 <Key>F3: string(0xfb) \n\ |
152 !Mod4 <Key>F4: string(0xfc) \n\ |
152 !Mod5 <Key>F4: string(0xfc) \n\ |
153 !Mod4 <Key>F5: string(0xd0) \n\ |
153 !Mod5 <Key>F5: string(0xd0) \n\ |
154 !Mod4 <Key>F6: string(0xd1) \n\ |
154 !Mod5 <Key>F6: string(0xd1) \n\ |
155 !Mod4 <Key>F7: string(0xd2) \n\ |
155 !Mod5 <Key>F7: string(0xd2) \n\ |
156 !Mod4 <Key>F8: string(0xd3) \n\ |
156 !Mod5 <Key>F8: string(0xd3) \n\ |
157 !Mod4 <Key>F9: string(0xf7) \n\ |
157 !Mod5 <Key>F9: string(0xf7) \n\ |
158 !Mod4 <Key>F10: string(0xec) \n\ |
158 !Mod5 <Key>F10: string(0xec) \n\ |
159 !Mod4 <Key>F11: string(0xfe) \n\ |
159 !Mod5 <Key>F11: string(0xfe) \n\ |
160 !Mod4 <Key>F12: string(0xff) \ |
160 !Mod5 <Key>F12: string(0xff) \ |
161 " $* -e $ISATERMDIR/initisaterm |
161 " $* -e $ISATERMDIR/initisaterm |