4 ; Setup GNU Emacs for Isabelle environment.
9 (setq listener-base-mode 'fundamental-mode)
10 (setq isa-thy-use-sml-mode nil)
15 (set-default-font "isabelle14")
17 (setcdr x-fixed-font-alist
18 (cons '("Symbol fonts"
19 ("isabelle 14" "isabelle14")
20 ("isabelle 24" "isabelle24"))
21 (cdr x-fixed-font-alist)))
25 (setq default-ctl-arrow "z")
28 (standard-display-8bit 128 255)
32 ;; DO NOT EDIT the lines between BEGIN-KEY-MAP and END-KEY-MAP
33 ;; the table is generated by the perl script `gen-isa_gnu_emacs'
34 ;; In order to make changes to the keyboard mappings you should edit
35 ;; the configuration file `key-table.inp' which is interpreted by
36 ;; the perl script `gen-isa_gnu_emacs',
39 ;; key-map for Isabelle font
42 (global-set-key [?\s-G] '(lambda () (interactive) (insert "\241")))
43 (global-set-key [?\s-D] '(lambda () (interactive) (insert "\242")))
44 (global-set-key [?\s-J] '(lambda () (interactive) (insert "\243")))
45 (global-set-key [?\s-L] '(lambda () (interactive) (insert "\244")))
46 (global-set-key [?\s-P] '(lambda () (interactive) (insert "\245")))
47 (global-set-key [?\s-S] '(lambda () (interactive) (insert "\246")))
48 (global-set-key [?\s-F] '(lambda () (interactive) (insert "\247")))
49 (global-set-key [?\s-Q] '(lambda () (interactive) (insert "\250")))
50 (global-set-key [?\s-W] '(lambda () (interactive) (insert "\251")))
51 (global-set-key [?\s-a] '(lambda () (interactive) (insert "\252")))
52 (global-set-key [?\s-b] '(lambda () (interactive) (insert "\253")))
53 (global-set-key [?\s-g] '(lambda () (interactive) (insert "\254")))
54 (global-set-key [?\s-d] '(lambda () (interactive) (insert "\255")))
55 (global-set-key [?\s-e] '(lambda () (interactive) (insert "\256")))
56 (global-set-key [?\s-z] '(lambda () (interactive) (insert "\257")))
57 (global-set-key [?\s-h] '(lambda () (interactive) (insert "\260")))
58 (global-set-key [?\s-j] '(lambda () (interactive) (insert "\261")))
59 (global-set-key [?\s-k] '(lambda () (interactive) (insert "\262")))
60 (global-set-key [?\s-l] '(lambda () (interactive) (insert "\263")))
61 (global-set-key [?\s-m] '(lambda () (interactive) (insert "\264")))
62 (global-set-key [?\s-n] '(lambda () (interactive) (insert "\265")))
63 (global-set-key [?\s-x] '(lambda () (interactive) (insert "\266")))
64 (global-set-key [?\s-p] '(lambda () (interactive) (insert "\267")))
65 (global-set-key [?\s-r] '(lambda () (interactive) (insert "\270")))
66 (global-set-key [?\s-s] '(lambda () (interactive) (insert "\271")))
67 (global-set-key [?\s-t] '(lambda () (interactive) (insert "\272")))
68 (global-set-key [?\s-f] '(lambda () (interactive) (insert "\273")))
69 (global-set-key [?\s-c] '(lambda () (interactive) (insert "\274")))
70 (global-set-key [?\s-q] '(lambda () (interactive) (insert "\275")))
71 (global-set-key [?\s-w] '(lambda () (interactive) (insert "\276")))
72 (global-set-key [?\H-n] '(lambda () (interactive) (insert "\277")))
73 (global-set-key [?\H-a] '(lambda () (interactive) (insert "\300")))
74 (global-set-key [?\H-o] '(lambda () (interactive) (insert "\301")))
75 (global-set-key [?\H-f] '(lambda () (interactive) (insert "\302")))
76 (global-set-key [?\H-t] '(lambda () (interactive) (insert "\303")))
77 (global-set-key [?\H-F] '(lambda () (interactive) (insert "\304")))
78 (global-set-key [C-f5] '(lambda () (interactive) (insert "\305")))
79 (global-set-key [C-f6] '(lambda () (interactive) (insert "\306")))
80 (global-set-key [C-f7] '(lambda () (interactive) (insert "\307")))
81 (global-set-key [C-f8] '(lambda () (interactive) (insert "\310")))
82 (global-set-key [C-f9] '(lambda () (interactive) (insert "\311")))
83 (global-set-key [C-f10] '(lambda () (interactive) (insert "\312")))
84 (global-set-key [C-f11] '(lambda () (interactive) (insert "\313")))
85 (global-set-key [C-f12] '(lambda () (interactive) (insert "\314")))
86 (global-set-key [H-f5] '(lambda () (interactive) (insert "\317")))
87 (global-set-key [H-f6] '(lambda () (interactive) (insert "\371")))
88 (global-set-key [H-f7] '(lambda () (interactive) (insert "\372")))
89 (global-set-key [H-f1] '(lambda () (interactive) (insert "\320")))
90 (global-set-key [H-f2] '(lambda () (interactive) (insert "\321")))
91 (global-set-key [H-f3] '(lambda () (interactive) (insert "\322")))
92 (global-set-key [H-f4] '(lambda () (interactive) (insert "\323")))
93 (global-set-key [C-f1] '(lambda () (interactive) (insert "\324")))
94 (global-set-key [C-f2] '(lambda () (interactive) (insert "\325")))
95 (global-set-key [C-f3] '(lambda () (interactive) (insert "\326")))
96 (global-set-key [C-f4] '(lambda () (interactive) (insert "\327")))
97 (global-set-key [?\H-b] '(lambda () (interactive) (insert "\330")))
98 (global-set-key [?\H-e] '(lambda () (interactive) (insert "\331")))
99 (global-set-key [?\H-E] '(lambda () (interactive) (insert "\332")))
100 (global-set-key [?\H-u] '(lambda () (interactive) (insert "\333")))
101 (global-set-key [?\H-p] '(lambda () (interactive) (insert "\334")))
102 (global-set-key [?\H-P] '(lambda () (interactive) (insert "\335")))
103 (global-set-key [?\H-l] '(lambda () (interactive) (insert "\336")))
104 (global-set-key [?\H-L] '(lambda () (interactive) (insert "\337")))
105 (global-set-key [?\H-g] '(lambda () (interactive) (insert "\340")))
106 (global-set-key [?\H-G] '(lambda () (interactive) (insert "\341")))
107 (global-set-key [?\H-s] '(lambda () (interactive) (insert "\342")))
108 (global-set-key [?\H-S] '(lambda () (interactive) (insert "\343")))
109 (global-set-key [S-f11] '(lambda () (interactive) (insert "\344")))
110 (global-set-key [S-f12] '(lambda () (interactive) (insert "\345")))
111 (global-set-key [s-f1] '(lambda () (interactive) (insert "\346")))
112 (global-set-key [s-f2] '(lambda () (interactive) (insert "\347")))
113 (global-set-key [s-f3] '(lambda () (interactive) (insert "\350")))
114 (global-set-key [S-f1] '(lambda () (interactive) (insert "\351")))
115 (global-set-key [S-f2] '(lambda () (interactive) (insert "\352")))
116 (global-set-key [S-f3] '(lambda () (interactive) (insert "\353")))
117 (global-set-key [s-f5] '(lambda () (interactive) (insert "\354")))
118 (global-set-key [s-f6] '(lambda () (interactive) (insert "\355")))
119 (global-set-key [s-f7] '(lambda () (interactive) (insert "\356")))
120 (global-set-key [s-f8] '(lambda () (interactive) (insert "\357")))
121 (global-set-key [s-f9] '(lambda () (interactive) (insert "\360")))
122 (global-set-key [s-f10] '(lambda () (interactive) (insert "\315")))
123 (global-set-key [?\H-x] '(lambda () (interactive) (insert "\362")))
124 (global-set-key [S-f5] '(lambda () (interactive) (insert "\363")))
125 (global-set-key [S-f6] '(lambda () (interactive) (insert "\364")))
126 (global-set-key [S-f7] '(lambda () (interactive) (insert "\365")))
127 (global-set-key [S-f8] '(lambda () (interactive) (insert "\366")))
128 (global-set-key [S-f9] '(lambda () (interactive) (insert "\367")))
129 (global-set-key [S-f10] '(lambda () (interactive) (insert "\370")))
130 (global-set-key [s-f11] '(lambda () (interactive) (insert "\316")))
131 (global-set-key [s-f12] '(lambda () (interactive) (insert "\361")))
132 (global-set-key [H-f8] '(lambda () (interactive) (insert "\373")))
133 (global-set-key [H-f9] '(lambda () (interactive) (insert "\374")))
134 (global-set-key [H-f10] '(lambda () (interactive) (insert "\375")))
135 (global-set-key [H-f11] '(lambda () (interactive) (insert "\376")))
136 (global-set-key [H-f12] '(lambda () (interactive) (insert "\377")))
137 (global-set-key [S-f4] '(lambda () (interactive) (insert "\351")(insert "\353")))
138 (global-set-key [s-f4] '(lambda () (interactive) (insert "\346")(insert "\350")))
139 (global-set-key [?\H-i] '(lambda () (interactive) (insert "\347")(insert "\350")))
140 (global-set-key [?\H-I] '(lambda () (interactive) (insert "\352")(insert "\353")))
141 (global-set-key [?\H-m] '(lambda () (interactive) (insert "\350")))
142 (global-set-key [?\H-M] '(lambda () (interactive) (insert "\353")))
143 (global-set-key [?\H-N] '(lambda () (interactive) (insert "\367")))
144 (global-set-key [f9] '(lambda () (interactive) (insert "\304")))
145 (global-set-key [f10] '(lambda () (interactive) (insert "\352")(insert "\353")))
146 (global-set-key [f11] '(lambda () (interactive) (insert "\332")))
147 (global-set-key [f12] '(lambda () (interactive) (insert "\333")))