2938

1 
;


2 
; $Id$


3 
;

3304

4 
; Setup Emacs for Isabelle environment.

2938

5 
;


6 

3304

7 
;; Misc settings

2972

8 

3304

9 
(setq isausesmlmode nil)

2972

10 


11 

3304

12 
;; Fonts and Keymaps

2938

13 


14 
(setq defaultctlarrow "z")


15 
(setq ctlarrow "z")


16 

3304

17 
(if (eq isaemacsversion 'isa19)


18 
(progn


19 
(standarddisplay8bit 128 255)


20 
;; FIXME


21 
;; DO NOT EDIT the lines between BEGINKEYMAP and ENDKEYMAP


22 
;; the table is generated by the perl script `genisa_gnu_emacs'


23 
;; In order to make changes to the keyboard mappings you should edit


24 
;; the configuration file `keytable.inp' which is interpreted by


25 
;; the perl script `genisa_gnu_emacs',


26 
;;


27 
;;


28 
;; keymap for Isabelle font


29 
;;


30 
;; BEGINKEYMAP


31 
(globalsetkey [?\sG] '(lambda () (interactive) (insert "\241")))


32 
(globalsetkey [?\sD] '(lambda () (interactive) (insert "\242")))


33 
(globalsetkey [?\sJ] '(lambda () (interactive) (insert "\243")))


34 
(globalsetkey [?\sL] '(lambda () (interactive) (insert "\244")))


35 
(globalsetkey [?\sP] '(lambda () (interactive) (insert "\245")))


36 
(globalsetkey [?\sS] '(lambda () (interactive) (insert "\246")))


37 
(globalsetkey [?\sF] '(lambda () (interactive) (insert "\247")))


38 
(globalsetkey [?\sQ] '(lambda () (interactive) (insert "\250")))


39 
(globalsetkey [?\sW] '(lambda () (interactive) (insert "\251")))


40 
(globalsetkey [?\sa] '(lambda () (interactive) (insert "\252")))


41 
(globalsetkey [?\sb] '(lambda () (interactive) (insert "\253")))


42 
(globalsetkey [?\sg] '(lambda () (interactive) (insert "\254")))


43 
(globalsetkey [?\sd] '(lambda () (interactive) (insert "\255")))


44 
(globalsetkey [?\se] '(lambda () (interactive) (insert "\256")))


45 
(globalsetkey [?\sz] '(lambda () (interactive) (insert "\257")))


46 
(globalsetkey [?\sh] '(lambda () (interactive) (insert "\260")))


47 
(globalsetkey [?\sj] '(lambda () (interactive) (insert "\261")))


48 
(globalsetkey [?\sk] '(lambda () (interactive) (insert "\262")))


49 
(globalsetkey [?\sl] '(lambda () (interactive) (insert "\263")))


50 
(globalsetkey [?\sm] '(lambda () (interactive) (insert "\264")))


51 
(globalsetkey [?\sn] '(lambda () (interactive) (insert "\265")))


52 
(globalsetkey [?\sx] '(lambda () (interactive) (insert "\266")))


53 
(globalsetkey [?\sp] '(lambda () (interactive) (insert "\267")))


54 
(globalsetkey [?\sr] '(lambda () (interactive) (insert "\270")))


55 
(globalsetkey [?\ss] '(lambda () (interactive) (insert "\271")))


56 
(globalsetkey [?\st] '(lambda () (interactive) (insert "\272")))


57 
(globalsetkey [?\sf] '(lambda () (interactive) (insert "\273")))


58 
(globalsetkey [?\sc] '(lambda () (interactive) (insert "\274")))


59 
(globalsetkey [?\sq] '(lambda () (interactive) (insert "\275")))


60 
(globalsetkey [?\sw] '(lambda () (interactive) (insert "\276")))


61 
(globalsetkey [?\Hn] '(lambda () (interactive) (insert "\277")))


62 
(globalsetkey [?\Ha] '(lambda () (interactive) (insert "\300")))


63 
(globalsetkey [?\Ho] '(lambda () (interactive) (insert "\301")))


64 
(globalsetkey [?\Hf] '(lambda () (interactive) (insert "\302")))


65 
(globalsetkey [?\Ht] '(lambda () (interactive) (insert "\303")))


66 
(globalsetkey [?\HF] '(lambda () (interactive) (insert "\304")))


67 
(globalsetkey [Cf5] '(lambda () (interactive) (insert "\305")))


68 
(globalsetkey [Cf6] '(lambda () (interactive) (insert "\306")))


69 
(globalsetkey [Cf7] '(lambda () (interactive) (insert "\307")))


70 
(globalsetkey [Cf8] '(lambda () (interactive) (insert "\310")))


71 
(globalsetkey [Cf9] '(lambda () (interactive) (insert "\311")))


72 
(globalsetkey [Cf10] '(lambda () (interactive) (insert "\312")))


73 
(globalsetkey [Cf11] '(lambda () (interactive) (insert "\313")))


74 
(globalsetkey [Cf12] '(lambda () (interactive) (insert "\314")))


75 
(globalsetkey [Hf5] '(lambda () (interactive) (insert "\317")))


76 
(globalsetkey [Hf6] '(lambda () (interactive) (insert "\371")))


77 
(globalsetkey [Hf7] '(lambda () (interactive) (insert "\372")))


78 
(globalsetkey [Hf1] '(lambda () (interactive) (insert "\320")))


79 
(globalsetkey [Hf2] '(lambda () (interactive) (insert "\321")))


80 
(globalsetkey [Hf3] '(lambda () (interactive) (insert "\322")))


81 
(globalsetkey [Hf4] '(lambda () (interactive) (insert "\323")))


82 
(globalsetkey [Cf1] '(lambda () (interactive) (insert "\324")))


83 
(globalsetkey [Cf2] '(lambda () (interactive) (insert "\325")))


84 
(globalsetkey [Cf3] '(lambda () (interactive) (insert "\326")))


85 
(globalsetkey [Cf4] '(lambda () (interactive) (insert "\327")))


86 
(globalsetkey [?\Hb] '(lambda () (interactive) (insert "\330")))


87 
(globalsetkey [?\He] '(lambda () (interactive) (insert "\331")))


88 
(globalsetkey [?\HE] '(lambda () (interactive) (insert "\332")))


89 
(globalsetkey [?\Hu] '(lambda () (interactive) (insert "\333")))


90 
(globalsetkey [?\Hp] '(lambda () (interactive) (insert "\334")))


91 
(globalsetkey [?\HP] '(lambda () (interactive) (insert "\335")))


92 
(globalsetkey [?\Hl] '(lambda () (interactive) (insert "\336")))


93 
(globalsetkey [?\HL] '(lambda () (interactive) (insert "\337")))


94 
(globalsetkey [?\Hg] '(lambda () (interactive) (insert "\340")))


95 
(globalsetkey [?\HG] '(lambda () (interactive) (insert "\341")))


96 
(globalsetkey [?\Hs] '(lambda () (interactive) (insert "\342")))


97 
(globalsetkey [?\HS] '(lambda () (interactive) (insert "\343")))


98 
(globalsetkey [Sf11] '(lambda () (interactive) (insert "\344")))


99 
(globalsetkey [Sf12] '(lambda () (interactive) (insert "\345")))


100 
(globalsetkey [sf1] '(lambda () (interactive) (insert "\346")))


101 
(globalsetkey [sf2] '(lambda () (interactive) (insert "\347")))


102 
(globalsetkey [sf3] '(lambda () (interactive) (insert "\350")))


103 
(globalsetkey [Sf1] '(lambda () (interactive) (insert "\351")))


104 
(globalsetkey [Sf2] '(lambda () (interactive) (insert "\352")))


105 
(globalsetkey [Sf3] '(lambda () (interactive) (insert "\353")))


106 
(globalsetkey [sf5] '(lambda () (interactive) (insert "\354")))


107 
(globalsetkey [sf6] '(lambda () (interactive) (insert "\355")))


108 
(globalsetkey [sf7] '(lambda () (interactive) (insert "\356")))


109 
(globalsetkey [sf8] '(lambda () (interactive) (insert "\357")))


110 
(globalsetkey [sf9] '(lambda () (interactive) (insert "\360")))


111 
(globalsetkey [sf10] '(lambda () (interactive) (insert "\315")))


112 
(globalsetkey [?\Hx] '(lambda () (interactive) (insert "\362")))


113 
(globalsetkey [Sf5] '(lambda () (interactive) (insert "\363")))


114 
(globalsetkey [Sf6] '(lambda () (interactive) (insert "\364")))


115 
(globalsetkey [Sf7] '(lambda () (interactive) (insert "\365")))


116 
(globalsetkey [Sf8] '(lambda () (interactive) (insert "\366")))


117 
(globalsetkey [Sf9] '(lambda () (interactive) (insert "\367")))


118 
(globalsetkey [Sf10] '(lambda () (interactive) (insert "\370")))


119 
(globalsetkey [sf11] '(lambda () (interactive) (insert "\316")))


120 
(globalsetkey [sf12] '(lambda () (interactive) (insert "\361")))


121 
(globalsetkey [Hf8] '(lambda () (interactive) (insert "\373")))


122 
(globalsetkey [Hf9] '(lambda () (interactive) (insert "\374")))


123 
(globalsetkey [Hf10] '(lambda () (interactive) (insert "\375")))


124 
(globalsetkey [Hf11] '(lambda () (interactive) (insert "\376")))


125 
(globalsetkey [Hf12] '(lambda () (interactive) (insert "\377")))


126 
(globalsetkey [Sf4] '(lambda () (interactive) (insert "\351")(insert "\353")))


127 
(globalsetkey [sf4] '(lambda () (interactive) (insert "\346")(insert "\350")))


128 
(globalsetkey [?\Hi] '(lambda () (interactive) (insert "\347")(insert "\350")))


129 
(globalsetkey [?\HI] '(lambda () (interactive) (insert "\352")(insert "\353")))


130 
(globalsetkey [?\Hm] '(lambda () (interactive) (insert "\350")))


131 
(globalsetkey [?\HM] '(lambda () (interactive) (insert "\353")))


132 
(globalsetkey [?\HN] '(lambda () (interactive) (insert "\367")))


133 
(globalsetkey [f9] '(lambda () (interactive) (insert "\304")))


134 
(globalsetkey [f10] '(lambda () (interactive) (insert "\352")(insert "\353")))


135 
(globalsetkey [f11] '(lambda () (interactive) (insert "\332")))


136 
(globalsetkey [f12] '(lambda () (interactive) (insert "\333")))


137 
;; ENDKEYMAP


138 
)


139 
(progn


140 
(defun isabellefontsmenu (e)


141 
"Pops up the Isabelle fonts menu."


142 
(interactive "@e")


143 
(popupmenu


144 
'("Isabelle fonts menu"


145 
["Isabelle 14" (setfacefont 'default "isabelle14") t]


146 
["Isabelle 24" (setfacefont 'default "isabelle24") t])))

2938

147 

3304

148 
(globalunsetkey '(shift control button3))


149 
(globalsetkey '(shift control button3) 'isabellefontsmenu)


150 


151 
;;FIXME


152 
;; DO NOT EDIT the lines between BEGINKEYMAP and ENDKEYMAP


153 
;; the table is generated by the perl script `genisa_xemacs'


154 
;; In order to make changes to the keyboard mappings you should edit


155 
;; the configuration file `keytable.inp' which is interpreted by


156 
;; the perl script `genisa_xemacs',


157 
;;


158 
;;


159 
;; keymap for Isabelle font


160 
;;


161 
;; BEGINKEYMAP


162 
(globalsetkey '(super G) '(lambda () (interactive) (insert "\241")))


163 
(globalsetkey '(super D) '(lambda () (interactive) (insert "\242")))


164 
(globalsetkey '(super J) '(lambda () (interactive) (insert "\243")))


165 
(globalsetkey '(super L) '(lambda () (interactive) (insert "\244")))


166 
(globalsetkey '(super P) '(lambda () (interactive) (insert "\245")))


167 
(globalsetkey '(super S) '(lambda () (interactive) (insert "\246")))


168 
(globalsetkey '(super F) '(lambda () (interactive) (insert "\247")))


169 
(globalsetkey '(super Q) '(lambda () (interactive) (insert "\250")))


170 
(globalsetkey '(super W) '(lambda () (interactive) (insert "\251")))


171 
(globalsetkey '(super a) '(lambda () (interactive) (insert "\252")))


172 
(globalsetkey '(super b) '(lambda () (interactive) (insert "\253")))


173 
(globalsetkey '(super g) '(lambda () (interactive) (insert "\254")))


174 
(globalsetkey '(super d) '(lambda () (interactive) (insert "\255")))


175 
(globalsetkey '(super e) '(lambda () (interactive) (insert "\256")))


176 
(globalsetkey '(super z) '(lambda () (interactive) (insert "\257")))


177 
(globalsetkey '(super h) '(lambda () (interactive) (insert "\260")))


178 
(globalsetkey '(super j) '(lambda () (interactive) (insert "\261")))


179 
(globalsetkey '(super k) '(lambda () (interactive) (insert "\262")))


180 
(globalsetkey '(super l) '(lambda () (interactive) (insert "\263")))


181 
(globalsetkey '(super m) '(lambda () (interactive) (insert "\264")))


182 
(globalsetkey '(super n) '(lambda () (interactive) (insert "\265")))


183 
(globalsetkey '(super x) '(lambda () (interactive) (insert "\266")))


184 
(globalsetkey '(super p) '(lambda () (interactive) (insert "\267")))


185 
(globalsetkey '(super r) '(lambda () (interactive) (insert "\270")))


186 
(globalsetkey '(super s) '(lambda () (interactive) (insert "\271")))


187 
(globalsetkey '(super t) '(lambda () (interactive) (insert "\272")))


188 
(globalsetkey '(super f) '(lambda () (interactive) (insert "\273")))


189 
(globalsetkey '(super c) '(lambda () (interactive) (insert "\274")))


190 
(globalsetkey '(super q) '(lambda () (interactive) (insert "\275")))


191 
(globalsetkey '(super w) '(lambda () (interactive) (insert "\276")))


192 
(globalsetkey '(hyper n) '(lambda () (interactive) (insert "\277")))


193 
(globalsetkey '(hyper a) '(lambda () (interactive) (insert "\300")))


194 
(globalsetkey '(hyper o) '(lambda () (interactive) (insert "\301")))


195 
(globalsetkey '(hyper f) '(lambda () (interactive) (insert "\302")))


196 
(globalsetkey '(hyper t) '(lambda () (interactive) (insert "\303")))


197 
(globalsetkey '(hyper F) '(lambda () (interactive) (insert "\304")))


198 
(globalsetkey '(control f5) '(lambda () (interactive) (insert "\305")))


199 
(globalsetkey '(control f6) '(lambda () (interactive) (insert "\306")))


200 
(globalsetkey '(control f7) '(lambda () (interactive) (insert "\307")))


201 
(globalsetkey '(control f8) '(lambda () (interactive) (insert "\310")))


202 
(globalsetkey '(control f9) '(lambda () (interactive) (insert "\311")))


203 
(globalsetkey '(control f10) '(lambda () (interactive) (insert "\312")))


204 
(globalsetkey '(control f11) '(lambda () (interactive) (insert "\313")))


205 
(globalsetkey '(control f12) '(lambda () (interactive) (insert "\314")))


206 
(globalsetkey '(hyper f5) '(lambda () (interactive) (insert "\317")))


207 
(globalsetkey '(hyper f6) '(lambda () (interactive) (insert "\371")))


208 
(globalsetkey '(hyper f7) '(lambda () (interactive) (insert "\372")))


209 
(globalsetkey '(hyper f1) '(lambda () (interactive) (insert "\320")))


210 
(globalsetkey '(hyper f2) '(lambda () (interactive) (insert "\321")))


211 
(globalsetkey '(hyper f3) '(lambda () (interactive) (insert "\322")))


212 
(globalsetkey '(hyper f4) '(lambda () (interactive) (insert "\323")))


213 
(globalsetkey '(control f1) '(lambda () (interactive) (insert "\324")))


214 
(globalsetkey '(control f2) '(lambda () (interactive) (insert "\325")))


215 
(globalsetkey '(control f3) '(lambda () (interactive) (insert "\326")))


216 
(globalsetkey '(control f4) '(lambda () (interactive) (insert "\327")))


217 
(globalsetkey '(hyper b) '(lambda () (interactive) (insert "\330")))


218 
(globalsetkey '(hyper e) '(lambda () (interactive) (insert "\331")))


219 
(globalsetkey '(hyper E) '(lambda () (interactive) (insert "\332")))


220 
(globalsetkey '(hyper u) '(lambda () (interactive) (insert "\333")))


221 
(globalsetkey '(hyper p) '(lambda () (interactive) (insert "\334")))


222 
(globalsetkey '(hyper P) '(lambda () (interactive) (insert "\335")))


223 
(globalsetkey '(hyper l) '(lambda () (interactive) (insert "\336")))


224 
(globalsetkey '(hyper L) '(lambda () (interactive) (insert "\337")))


225 
(globalsetkey '(hyper g) '(lambda () (interactive) (insert "\340")))


226 
(globalsetkey '(hyper G) '(lambda () (interactive) (insert "\341")))


227 
(globalsetkey '(hyper s) '(lambda () (interactive) (insert "\342")))


228 
(globalsetkey '(hyper S) '(lambda () (interactive) (insert "\343")))


229 
(globalsetkey '(shift f11) '(lambda () (interactive) (insert "\344")))


230 
(globalsetkey '(shift f12) '(lambda () (interactive) (insert "\345")))


231 
(globalsetkey '(super f1) '(lambda () (interactive) (insert "\346")))


232 
(globalsetkey '(super f2) '(lambda () (interactive) (insert "\347")))


233 
(globalsetkey '(super f3) '(lambda () (interactive) (insert "\350")))


234 
(globalsetkey '(shift f1) '(lambda () (interactive) (insert "\351")))


235 
(globalsetkey '(shift f2) '(lambda () (interactive) (insert "\352")))


236 
(globalsetkey '(shift f3) '(lambda () (interactive) (insert "\353")))


237 
(globalsetkey '(super f5) '(lambda () (interactive) (insert "\354")))


238 
(globalsetkey '(super f6) '(lambda () (interactive) (insert "\355")))


239 
(globalsetkey '(super f7) '(lambda () (interactive) (insert "\356")))


240 
(globalsetkey '(super f8) '(lambda () (interactive) (insert "\357")))


241 
(globalsetkey '(super f9) '(lambda () (interactive) (insert "\360")))


242 
(globalsetkey '(super f10) '(lambda () (interactive) (insert "\315")))


243 
(globalsetkey '(hyper x) '(lambda () (interactive) (insert "\362")))


244 
(globalsetkey '(shift f5) '(lambda () (interactive) (insert "\363")))


245 
(globalsetkey '(shift f6) '(lambda () (interactive) (insert "\364")))


246 
(globalsetkey '(shift f7) '(lambda () (interactive) (insert "\365")))


247 
(globalsetkey '(shift f8) '(lambda () (interactive) (insert "\366")))


248 
(globalsetkey '(shift f9) '(lambda () (interactive) (insert "\367")))


249 
(globalsetkey '(shift f10) '(lambda () (interactive) (insert "\370")))


250 
(globalsetkey '(super f11) '(lambda () (interactive) (insert "\316")))


251 
(globalsetkey '(super f12) '(lambda () (interactive) (insert "\361")))


252 
(globalsetkey '(hyper f8) '(lambda () (interactive) (insert "\373")))


253 
(globalsetkey '(hyper f9) '(lambda () (interactive) (insert "\374")))


254 
(globalsetkey '(hyper f10) '(lambda () (interactive) (insert "\375")))


255 
(globalsetkey '(hyper f11) '(lambda () (interactive) (insert "\376")))


256 
(globalsetkey '(hyper f12) '(lambda () (interactive) (insert "\377")))


257 
(globalsetkey '(shift f4) '(lambda () (interactive) (insert "\351")(insert "\353")))


258 
(globalsetkey '(super f4) '(lambda () (interactive) (insert "\346")(insert "\350")))


259 
(globalsetkey '(hyper i) '(lambda () (interactive) (insert "\347")(insert "\350")))


260 
(globalsetkey '(hyper I) '(lambda () (interactive) (insert "\352")(insert "\353")))


261 
(globalsetkey '(hyper m) '(lambda () (interactive) (insert "\350")))


262 
(globalsetkey '(hyper M) '(lambda () (interactive) (insert "\353")))


263 
(globalsetkey '(hyper N) '(lambda () (interactive) (insert "\367")))


264 
(globalsetkey '(f9) '(lambda () (interactive) (insert "\304")))


265 
(globalsetkey '(f10) '(lambda () (interactive) (insert "\352")(insert "\353")))


266 
(globalsetkey '(f11) '(lambda () (interactive) (insert "\332")))


267 
(globalsetkey '(f12) '(lambda () (interactive) (insert "\333")))


268 
;; ENDKEYMAP


269 
))
