adapted to Isamode 2.6;
authorwenzelm
Thu May 22 16:37:00 1997 +0200 (1997-05-22)
changeset 330408952002358d
parent 3303 656b5221a56e
child 3305 d8114e93ef66
adapted to Isamode 2.6;
etc/isa-settings.el
lib/scripts/isa-emacs
     1.1 --- a/etc/isa-settings.el	Thu May 22 16:04:48 1997 +0200
     1.2 +++ b/etc/isa-settings.el	Thu May 22 16:37:00 1997 +0200
     1.3 @@ -1,148 +1,269 @@
     1.4  ;
     1.5  ; $Id$
     1.6  ;
     1.7 -; Setup GNU Emacs for Isabelle environment.
     1.8 +; Setup Emacs for Isabelle environment.
     1.9  ;
    1.10  
    1.11 -;; Misc settins
    1.12 +;; Misc settings
    1.13  
    1.14 -(setq listener-base-mode 'fundamental-mode)
    1.15 -(setq isa-thy-use-sml-mode nil)
    1.16 +(setq isa-use-sml-mode nil)
    1.17  
    1.18  
    1.19 -;; Isabelle fonts
    1.20 -
    1.21 -(set-default-font "isabelle14")
    1.22 -
    1.23 -(setcdr x-fixed-font-alist
    1.24 -	(cons  '("Symbol fonts"
    1.25 -		 ("isabelle 14" "isabelle14")
    1.26 -		 ("isabelle 24" "isabelle24"))
    1.27 -	       (cdr x-fixed-font-alist)))
    1.28 -
    1.29 -;; Keymaps
    1.30 +;; Fonts and Keymaps
    1.31  
    1.32  (setq default-ctl-arrow "z")
    1.33  (setq ctl-arrow "z")
    1.34  
    1.35 -(standard-display-8bit 128 255)
    1.36 -
    1.37 +(if (eq isa-emacs-version 'isa-19)
    1.38 +    (progn
    1.39 +      (standard-display-8bit 128 255)
    1.40 +      ;; FIXME
    1.41 +      ;; DO NOT EDIT the lines between BEGIN-KEY-MAP and END-KEY-MAP
    1.42 +      ;; the table is generated by the perl script `gen-isa_gnu_emacs'
    1.43 +      ;; In order to make changes to the keyboard mappings you should edit
    1.44 +      ;; the configuration file `key-table.inp' which is interpreted by
    1.45 +      ;; the perl script `gen-isa_gnu_emacs', 
    1.46 +      ;;
    1.47 +      ;;
    1.48 +      ;; key-map for Isabelle font
    1.49 +      ;;   
    1.50 +      ;; BEGIN-KEY-MAP
    1.51 +      (global-set-key [?\s-G] '(lambda () (interactive) (insert "\241")))
    1.52 +      (global-set-key [?\s-D] '(lambda () (interactive) (insert "\242")))
    1.53 +      (global-set-key [?\s-J] '(lambda () (interactive) (insert "\243")))
    1.54 +      (global-set-key [?\s-L] '(lambda () (interactive) (insert "\244")))
    1.55 +      (global-set-key [?\s-P] '(lambda () (interactive) (insert "\245")))
    1.56 +      (global-set-key [?\s-S] '(lambda () (interactive) (insert "\246")))
    1.57 +      (global-set-key [?\s-F] '(lambda () (interactive) (insert "\247")))
    1.58 +      (global-set-key [?\s-Q] '(lambda () (interactive) (insert "\250")))
    1.59 +      (global-set-key [?\s-W] '(lambda () (interactive) (insert "\251")))
    1.60 +      (global-set-key [?\s-a] '(lambda () (interactive) (insert "\252")))
    1.61 +      (global-set-key [?\s-b] '(lambda () (interactive) (insert "\253")))
    1.62 +      (global-set-key [?\s-g] '(lambda () (interactive) (insert "\254")))
    1.63 +      (global-set-key [?\s-d] '(lambda () (interactive) (insert "\255")))
    1.64 +      (global-set-key [?\s-e] '(lambda () (interactive) (insert "\256")))
    1.65 +      (global-set-key [?\s-z] '(lambda () (interactive) (insert "\257")))
    1.66 +      (global-set-key [?\s-h] '(lambda () (interactive) (insert "\260")))
    1.67 +      (global-set-key [?\s-j] '(lambda () (interactive) (insert "\261")))
    1.68 +      (global-set-key [?\s-k] '(lambda () (interactive) (insert "\262")))
    1.69 +      (global-set-key [?\s-l] '(lambda () (interactive) (insert "\263")))
    1.70 +      (global-set-key [?\s-m] '(lambda () (interactive) (insert "\264")))
    1.71 +      (global-set-key [?\s-n] '(lambda () (interactive) (insert "\265")))
    1.72 +      (global-set-key [?\s-x] '(lambda () (interactive) (insert "\266")))
    1.73 +      (global-set-key [?\s-p] '(lambda () (interactive) (insert "\267")))
    1.74 +      (global-set-key [?\s-r] '(lambda () (interactive) (insert "\270")))
    1.75 +      (global-set-key [?\s-s] '(lambda () (interactive) (insert "\271")))
    1.76 +      (global-set-key [?\s-t] '(lambda () (interactive) (insert "\272")))
    1.77 +      (global-set-key [?\s-f] '(lambda () (interactive) (insert "\273")))
    1.78 +      (global-set-key [?\s-c] '(lambda () (interactive) (insert "\274")))
    1.79 +      (global-set-key [?\s-q] '(lambda () (interactive) (insert "\275")))
    1.80 +      (global-set-key [?\s-w] '(lambda () (interactive) (insert "\276")))
    1.81 +      (global-set-key [?\H-n] '(lambda () (interactive) (insert "\277")))
    1.82 +      (global-set-key [?\H-a] '(lambda () (interactive) (insert "\300")))
    1.83 +      (global-set-key [?\H-o] '(lambda () (interactive) (insert "\301")))
    1.84 +      (global-set-key [?\H-f] '(lambda () (interactive) (insert "\302")))
    1.85 +      (global-set-key [?\H-t] '(lambda () (interactive) (insert "\303")))
    1.86 +      (global-set-key [?\H-F] '(lambda () (interactive) (insert "\304")))
    1.87 +      (global-set-key [C-f5] '(lambda () (interactive) (insert "\305")))
    1.88 +      (global-set-key [C-f6] '(lambda () (interactive) (insert "\306")))
    1.89 +      (global-set-key [C-f7] '(lambda () (interactive) (insert "\307")))
    1.90 +      (global-set-key [C-f8] '(lambda () (interactive) (insert "\310")))
    1.91 +      (global-set-key [C-f9] '(lambda () (interactive) (insert "\311")))
    1.92 +      (global-set-key [C-f10] '(lambda () (interactive) (insert "\312")))
    1.93 +      (global-set-key [C-f11] '(lambda () (interactive) (insert "\313")))
    1.94 +      (global-set-key [C-f12] '(lambda () (interactive) (insert "\314")))
    1.95 +      (global-set-key [H-f5] '(lambda () (interactive) (insert "\317")))
    1.96 +      (global-set-key [H-f6] '(lambda () (interactive) (insert "\371")))
    1.97 +      (global-set-key [H-f7] '(lambda () (interactive) (insert "\372")))
    1.98 +      (global-set-key [H-f1] '(lambda () (interactive) (insert "\320")))
    1.99 +      (global-set-key [H-f2] '(lambda () (interactive) (insert "\321")))
   1.100 +      (global-set-key [H-f3] '(lambda () (interactive) (insert "\322")))
   1.101 +      (global-set-key [H-f4] '(lambda () (interactive) (insert "\323")))
   1.102 +      (global-set-key [C-f1] '(lambda () (interactive) (insert "\324")))
   1.103 +      (global-set-key [C-f2] '(lambda () (interactive) (insert "\325")))
   1.104 +      (global-set-key [C-f3] '(lambda () (interactive) (insert "\326")))
   1.105 +      (global-set-key [C-f4] '(lambda () (interactive) (insert "\327")))
   1.106 +      (global-set-key [?\H-b] '(lambda () (interactive) (insert "\330")))
   1.107 +      (global-set-key [?\H-e] '(lambda () (interactive) (insert "\331")))
   1.108 +      (global-set-key [?\H-E] '(lambda () (interactive) (insert "\332")))
   1.109 +      (global-set-key [?\H-u] '(lambda () (interactive) (insert "\333")))
   1.110 +      (global-set-key [?\H-p] '(lambda () (interactive) (insert "\334")))
   1.111 +      (global-set-key [?\H-P] '(lambda () (interactive) (insert "\335")))
   1.112 +      (global-set-key [?\H-l] '(lambda () (interactive) (insert "\336")))
   1.113 +      (global-set-key [?\H-L] '(lambda () (interactive) (insert "\337")))
   1.114 +      (global-set-key [?\H-g] '(lambda () (interactive) (insert "\340")))
   1.115 +      (global-set-key [?\H-G] '(lambda () (interactive) (insert "\341")))
   1.116 +      (global-set-key [?\H-s] '(lambda () (interactive) (insert "\342")))
   1.117 +      (global-set-key [?\H-S] '(lambda () (interactive) (insert "\343")))
   1.118 +      (global-set-key [S-f11] '(lambda () (interactive) (insert "\344")))
   1.119 +      (global-set-key [S-f12] '(lambda () (interactive) (insert "\345")))
   1.120 +      (global-set-key [s-f1] '(lambda () (interactive) (insert "\346")))
   1.121 +      (global-set-key [s-f2] '(lambda () (interactive) (insert "\347")))
   1.122 +      (global-set-key [s-f3] '(lambda () (interactive) (insert "\350")))
   1.123 +      (global-set-key [S-f1] '(lambda () (interactive) (insert "\351")))
   1.124 +      (global-set-key [S-f2] '(lambda () (interactive) (insert "\352")))
   1.125 +      (global-set-key [S-f3] '(lambda () (interactive) (insert "\353")))
   1.126 +      (global-set-key [s-f5] '(lambda () (interactive) (insert "\354")))
   1.127 +      (global-set-key [s-f6] '(lambda () (interactive) (insert "\355")))
   1.128 +      (global-set-key [s-f7] '(lambda () (interactive) (insert "\356")))
   1.129 +      (global-set-key [s-f8] '(lambda () (interactive) (insert "\357")))
   1.130 +      (global-set-key [s-f9] '(lambda () (interactive) (insert "\360")))
   1.131 +      (global-set-key [s-f10] '(lambda () (interactive) (insert "\315")))
   1.132 +      (global-set-key [?\H-x] '(lambda () (interactive) (insert "\362")))
   1.133 +      (global-set-key [S-f5] '(lambda () (interactive) (insert "\363")))
   1.134 +      (global-set-key [S-f6] '(lambda () (interactive) (insert "\364")))
   1.135 +      (global-set-key [S-f7] '(lambda () (interactive) (insert "\365")))
   1.136 +      (global-set-key [S-f8] '(lambda () (interactive) (insert "\366")))
   1.137 +      (global-set-key [S-f9] '(lambda () (interactive) (insert "\367")))
   1.138 +      (global-set-key [S-f10] '(lambda () (interactive) (insert "\370")))
   1.139 +      (global-set-key [s-f11] '(lambda () (interactive) (insert "\316")))
   1.140 +      (global-set-key [s-f12] '(lambda () (interactive) (insert "\361")))
   1.141 +      (global-set-key [H-f8] '(lambda () (interactive) (insert "\373")))
   1.142 +      (global-set-key [H-f9] '(lambda () (interactive) (insert "\374")))
   1.143 +      (global-set-key [H-f10] '(lambda () (interactive) (insert "\375")))
   1.144 +      (global-set-key [H-f11] '(lambda () (interactive) (insert "\376")))
   1.145 +      (global-set-key [H-f12] '(lambda () (interactive) (insert "\377")))
   1.146 +      (global-set-key [S-f4] '(lambda () (interactive) (insert "\351")(insert "\353")))
   1.147 +      (global-set-key [s-f4] '(lambda () (interactive) (insert "\346")(insert "\350")))
   1.148 +      (global-set-key [?\H-i] '(lambda () (interactive) (insert "\347")(insert "\350")))
   1.149 +      (global-set-key [?\H-I] '(lambda () (interactive) (insert "\352")(insert "\353")))
   1.150 +      (global-set-key [?\H-m] '(lambda () (interactive) (insert "\350")))
   1.151 +      (global-set-key [?\H-M] '(lambda () (interactive) (insert "\353")))
   1.152 +      (global-set-key [?\H-N] '(lambda () (interactive) (insert "\367")))
   1.153 +      (global-set-key [f9] '(lambda () (interactive) (insert "\304")))
   1.154 +      (global-set-key [f10] '(lambda () (interactive) (insert "\352")(insert "\353")))
   1.155 +      (global-set-key [f11] '(lambda () (interactive) (insert "\332")))
   1.156 +      (global-set-key [f12] '(lambda () (interactive) (insert "\333")))
   1.157 +      ;; END-KEY-MAP
   1.158 +      )
   1.159 +  (progn
   1.160 +    (defun isabelle-fonts-menu (e)
   1.161 +      "Pops up the Isabelle fonts menu."
   1.162 +      (interactive "@e")
   1.163 +      (popup-menu
   1.164 +       '("Isabelle fonts menu"
   1.165 +	 ["Isabelle 14" (set-face-font 'default "isabelle14") t]
   1.166 +	 ["Isabelle 24" (set-face-font 'default "isabelle24") t])))
   1.167  
   1.168 -;; FIXME
   1.169 -;; DO NOT EDIT the lines between BEGIN-KEY-MAP and END-KEY-MAP
   1.170 -;; the table is generated by the perl script `gen-isa_gnu_emacs'
   1.171 -;; In order to make changes to the keyboard mappings you should edit
   1.172 -;; the configuration file `key-table.inp' which is interpreted by
   1.173 -;; the perl script `gen-isa_gnu_emacs', 
   1.174 -;;
   1.175 -;;
   1.176 -;; key-map for Isabelle font
   1.177 -;;   
   1.178 -;; BEGIN-KEY-MAP
   1.179 -(global-set-key [?\s-G] '(lambda () (interactive) (insert "\241")))
   1.180 -(global-set-key [?\s-D] '(lambda () (interactive) (insert "\242")))
   1.181 -(global-set-key [?\s-J] '(lambda () (interactive) (insert "\243")))
   1.182 -(global-set-key [?\s-L] '(lambda () (interactive) (insert "\244")))
   1.183 -(global-set-key [?\s-P] '(lambda () (interactive) (insert "\245")))
   1.184 -(global-set-key [?\s-S] '(lambda () (interactive) (insert "\246")))
   1.185 -(global-set-key [?\s-F] '(lambda () (interactive) (insert "\247")))
   1.186 -(global-set-key [?\s-Q] '(lambda () (interactive) (insert "\250")))
   1.187 -(global-set-key [?\s-W] '(lambda () (interactive) (insert "\251")))
   1.188 -(global-set-key [?\s-a] '(lambda () (interactive) (insert "\252")))
   1.189 -(global-set-key [?\s-b] '(lambda () (interactive) (insert "\253")))
   1.190 -(global-set-key [?\s-g] '(lambda () (interactive) (insert "\254")))
   1.191 -(global-set-key [?\s-d] '(lambda () (interactive) (insert "\255")))
   1.192 -(global-set-key [?\s-e] '(lambda () (interactive) (insert "\256")))
   1.193 -(global-set-key [?\s-z] '(lambda () (interactive) (insert "\257")))
   1.194 -(global-set-key [?\s-h] '(lambda () (interactive) (insert "\260")))
   1.195 -(global-set-key [?\s-j] '(lambda () (interactive) (insert "\261")))
   1.196 -(global-set-key [?\s-k] '(lambda () (interactive) (insert "\262")))
   1.197 -(global-set-key [?\s-l] '(lambda () (interactive) (insert "\263")))
   1.198 -(global-set-key [?\s-m] '(lambda () (interactive) (insert "\264")))
   1.199 -(global-set-key [?\s-n] '(lambda () (interactive) (insert "\265")))
   1.200 -(global-set-key [?\s-x] '(lambda () (interactive) (insert "\266")))
   1.201 -(global-set-key [?\s-p] '(lambda () (interactive) (insert "\267")))
   1.202 -(global-set-key [?\s-r] '(lambda () (interactive) (insert "\270")))
   1.203 -(global-set-key [?\s-s] '(lambda () (interactive) (insert "\271")))
   1.204 -(global-set-key [?\s-t] '(lambda () (interactive) (insert "\272")))
   1.205 -(global-set-key [?\s-f] '(lambda () (interactive) (insert "\273")))
   1.206 -(global-set-key [?\s-c] '(lambda () (interactive) (insert "\274")))
   1.207 -(global-set-key [?\s-q] '(lambda () (interactive) (insert "\275")))
   1.208 -(global-set-key [?\s-w] '(lambda () (interactive) (insert "\276")))
   1.209 -(global-set-key [?\H-n] '(lambda () (interactive) (insert "\277")))
   1.210 -(global-set-key [?\H-a] '(lambda () (interactive) (insert "\300")))
   1.211 -(global-set-key [?\H-o] '(lambda () (interactive) (insert "\301")))
   1.212 -(global-set-key [?\H-f] '(lambda () (interactive) (insert "\302")))
   1.213 -(global-set-key [?\H-t] '(lambda () (interactive) (insert "\303")))
   1.214 -(global-set-key [?\H-F] '(lambda () (interactive) (insert "\304")))
   1.215 -(global-set-key [C-f5] '(lambda () (interactive) (insert "\305")))
   1.216 -(global-set-key [C-f6] '(lambda () (interactive) (insert "\306")))
   1.217 -(global-set-key [C-f7] '(lambda () (interactive) (insert "\307")))
   1.218 -(global-set-key [C-f8] '(lambda () (interactive) (insert "\310")))
   1.219 -(global-set-key [C-f9] '(lambda () (interactive) (insert "\311")))
   1.220 -(global-set-key [C-f10] '(lambda () (interactive) (insert "\312")))
   1.221 -(global-set-key [C-f11] '(lambda () (interactive) (insert "\313")))
   1.222 -(global-set-key [C-f12] '(lambda () (interactive) (insert "\314")))
   1.223 -(global-set-key [H-f5] '(lambda () (interactive) (insert "\317")))
   1.224 -(global-set-key [H-f6] '(lambda () (interactive) (insert "\371")))
   1.225 -(global-set-key [H-f7] '(lambda () (interactive) (insert "\372")))
   1.226 -(global-set-key [H-f1] '(lambda () (interactive) (insert "\320")))
   1.227 -(global-set-key [H-f2] '(lambda () (interactive) (insert "\321")))
   1.228 -(global-set-key [H-f3] '(lambda () (interactive) (insert "\322")))
   1.229 -(global-set-key [H-f4] '(lambda () (interactive) (insert "\323")))
   1.230 -(global-set-key [C-f1] '(lambda () (interactive) (insert "\324")))
   1.231 -(global-set-key [C-f2] '(lambda () (interactive) (insert "\325")))
   1.232 -(global-set-key [C-f3] '(lambda () (interactive) (insert "\326")))
   1.233 -(global-set-key [C-f4] '(lambda () (interactive) (insert "\327")))
   1.234 -(global-set-key [?\H-b] '(lambda () (interactive) (insert "\330")))
   1.235 -(global-set-key [?\H-e] '(lambda () (interactive) (insert "\331")))
   1.236 -(global-set-key [?\H-E] '(lambda () (interactive) (insert "\332")))
   1.237 -(global-set-key [?\H-u] '(lambda () (interactive) (insert "\333")))
   1.238 -(global-set-key [?\H-p] '(lambda () (interactive) (insert "\334")))
   1.239 -(global-set-key [?\H-P] '(lambda () (interactive) (insert "\335")))
   1.240 -(global-set-key [?\H-l] '(lambda () (interactive) (insert "\336")))
   1.241 -(global-set-key [?\H-L] '(lambda () (interactive) (insert "\337")))
   1.242 -(global-set-key [?\H-g] '(lambda () (interactive) (insert "\340")))
   1.243 -(global-set-key [?\H-G] '(lambda () (interactive) (insert "\341")))
   1.244 -(global-set-key [?\H-s] '(lambda () (interactive) (insert "\342")))
   1.245 -(global-set-key [?\H-S] '(lambda () (interactive) (insert "\343")))
   1.246 -(global-set-key [S-f11] '(lambda () (interactive) (insert "\344")))
   1.247 -(global-set-key [S-f12] '(lambda () (interactive) (insert "\345")))
   1.248 -(global-set-key [s-f1] '(lambda () (interactive) (insert "\346")))
   1.249 -(global-set-key [s-f2] '(lambda () (interactive) (insert "\347")))
   1.250 -(global-set-key [s-f3] '(lambda () (interactive) (insert "\350")))
   1.251 -(global-set-key [S-f1] '(lambda () (interactive) (insert "\351")))
   1.252 -(global-set-key [S-f2] '(lambda () (interactive) (insert "\352")))
   1.253 -(global-set-key [S-f3] '(lambda () (interactive) (insert "\353")))
   1.254 -(global-set-key [s-f5] '(lambda () (interactive) (insert "\354")))
   1.255 -(global-set-key [s-f6] '(lambda () (interactive) (insert "\355")))
   1.256 -(global-set-key [s-f7] '(lambda () (interactive) (insert "\356")))
   1.257 -(global-set-key [s-f8] '(lambda () (interactive) (insert "\357")))
   1.258 -(global-set-key [s-f9] '(lambda () (interactive) (insert "\360")))
   1.259 -(global-set-key [s-f10] '(lambda () (interactive) (insert "\315")))
   1.260 -(global-set-key [?\H-x] '(lambda () (interactive) (insert "\362")))
   1.261 -(global-set-key [S-f5] '(lambda () (interactive) (insert "\363")))
   1.262 -(global-set-key [S-f6] '(lambda () (interactive) (insert "\364")))
   1.263 -(global-set-key [S-f7] '(lambda () (interactive) (insert "\365")))
   1.264 -(global-set-key [S-f8] '(lambda () (interactive) (insert "\366")))
   1.265 -(global-set-key [S-f9] '(lambda () (interactive) (insert "\367")))
   1.266 -(global-set-key [S-f10] '(lambda () (interactive) (insert "\370")))
   1.267 -(global-set-key [s-f11] '(lambda () (interactive) (insert "\316")))
   1.268 -(global-set-key [s-f12] '(lambda () (interactive) (insert "\361")))
   1.269 -(global-set-key [H-f8] '(lambda () (interactive) (insert "\373")))
   1.270 -(global-set-key [H-f9] '(lambda () (interactive) (insert "\374")))
   1.271 -(global-set-key [H-f10] '(lambda () (interactive) (insert "\375")))
   1.272 -(global-set-key [H-f11] '(lambda () (interactive) (insert "\376")))
   1.273 -(global-set-key [H-f12] '(lambda () (interactive) (insert "\377")))
   1.274 -(global-set-key [S-f4] '(lambda () (interactive) (insert "\351")(insert "\353")))
   1.275 -(global-set-key [s-f4] '(lambda () (interactive) (insert "\346")(insert "\350")))
   1.276 -(global-set-key [?\H-i] '(lambda () (interactive) (insert "\347")(insert "\350")))
   1.277 -(global-set-key [?\H-I] '(lambda () (interactive) (insert "\352")(insert "\353")))
   1.278 -(global-set-key [?\H-m] '(lambda () (interactive) (insert "\350")))
   1.279 -(global-set-key [?\H-M] '(lambda () (interactive) (insert "\353")))
   1.280 -(global-set-key [?\H-N] '(lambda () (interactive) (insert "\367")))
   1.281 -(global-set-key [f9] '(lambda () (interactive) (insert "\304")))
   1.282 -(global-set-key [f10] '(lambda () (interactive) (insert "\352")(insert "\353")))
   1.283 -(global-set-key [f11] '(lambda () (interactive) (insert "\332")))
   1.284 -(global-set-key [f12] '(lambda () (interactive) (insert "\333")))
   1.285 -;; END-KEY-MAP
   1.286 +    (global-unset-key '(shift control button3))
   1.287 +    (global-set-key '(shift control button3) 'isabelle-fonts-menu)
   1.288 +
   1.289 +    ;;FIXME
   1.290 +    ;; DO NOT EDIT the lines between BEGIN-KEY-MAP and END-KEY-MAP
   1.291 +    ;; the table is generated by the perl script `gen-isa_xemacs'
   1.292 +    ;; In order to make changes to the keyboard mappings you should edit
   1.293 +    ;; the configuration file `key-table.inp' which is interpreted by
   1.294 +    ;; the perl script `gen-isa_xemacs', 
   1.295 +    ;;
   1.296 +    ;;
   1.297 +    ;; key-map for Isabelle font
   1.298 +    ;;   
   1.299 +    ;; BEGIN-KEY-MAP
   1.300 +    (global-set-key '(super G) '(lambda () (interactive) (insert "\241")))
   1.301 +    (global-set-key '(super D) '(lambda () (interactive) (insert "\242")))
   1.302 +    (global-set-key '(super J) '(lambda () (interactive) (insert "\243")))
   1.303 +    (global-set-key '(super L) '(lambda () (interactive) (insert "\244")))
   1.304 +    (global-set-key '(super P) '(lambda () (interactive) (insert "\245")))
   1.305 +    (global-set-key '(super S) '(lambda () (interactive) (insert "\246")))
   1.306 +    (global-set-key '(super F) '(lambda () (interactive) (insert "\247")))
   1.307 +    (global-set-key '(super Q) '(lambda () (interactive) (insert "\250")))
   1.308 +    (global-set-key '(super W) '(lambda () (interactive) (insert "\251")))
   1.309 +    (global-set-key '(super a) '(lambda () (interactive) (insert "\252")))
   1.310 +    (global-set-key '(super b) '(lambda () (interactive) (insert "\253")))
   1.311 +    (global-set-key '(super g) '(lambda () (interactive) (insert "\254")))
   1.312 +    (global-set-key '(super d) '(lambda () (interactive) (insert "\255")))
   1.313 +    (global-set-key '(super e) '(lambda () (interactive) (insert "\256")))
   1.314 +    (global-set-key '(super z) '(lambda () (interactive) (insert "\257")))
   1.315 +    (global-set-key '(super h) '(lambda () (interactive) (insert "\260")))
   1.316 +    (global-set-key '(super j) '(lambda () (interactive) (insert "\261")))
   1.317 +    (global-set-key '(super k) '(lambda () (interactive) (insert "\262")))
   1.318 +    (global-set-key '(super l) '(lambda () (interactive) (insert "\263")))
   1.319 +    (global-set-key '(super m) '(lambda () (interactive) (insert "\264")))
   1.320 +    (global-set-key '(super n) '(lambda () (interactive) (insert "\265")))
   1.321 +    (global-set-key '(super x) '(lambda () (interactive) (insert "\266")))
   1.322 +    (global-set-key '(super p) '(lambda () (interactive) (insert "\267")))
   1.323 +    (global-set-key '(super r) '(lambda () (interactive) (insert "\270")))
   1.324 +    (global-set-key '(super s) '(lambda () (interactive) (insert "\271")))
   1.325 +    (global-set-key '(super t) '(lambda () (interactive) (insert "\272")))
   1.326 +    (global-set-key '(super f) '(lambda () (interactive) (insert "\273")))
   1.327 +    (global-set-key '(super c) '(lambda () (interactive) (insert "\274")))
   1.328 +    (global-set-key '(super q) '(lambda () (interactive) (insert "\275")))
   1.329 +    (global-set-key '(super w) '(lambda () (interactive) (insert "\276")))
   1.330 +    (global-set-key '(hyper n) '(lambda () (interactive) (insert "\277")))
   1.331 +    (global-set-key '(hyper a) '(lambda () (interactive) (insert "\300")))
   1.332 +    (global-set-key '(hyper o) '(lambda () (interactive) (insert "\301")))
   1.333 +    (global-set-key '(hyper f) '(lambda () (interactive) (insert "\302")))
   1.334 +    (global-set-key '(hyper t) '(lambda () (interactive) (insert "\303")))
   1.335 +    (global-set-key '(hyper F) '(lambda () (interactive) (insert "\304")))
   1.336 +    (global-set-key '(control f5) '(lambda () (interactive) (insert "\305")))
   1.337 +    (global-set-key '(control f6) '(lambda () (interactive) (insert "\306")))
   1.338 +    (global-set-key '(control f7) '(lambda () (interactive) (insert "\307")))
   1.339 +    (global-set-key '(control f8) '(lambda () (interactive) (insert "\310")))
   1.340 +    (global-set-key '(control f9) '(lambda () (interactive) (insert "\311")))
   1.341 +    (global-set-key '(control f10) '(lambda () (interactive) (insert "\312")))
   1.342 +    (global-set-key '(control f11) '(lambda () (interactive) (insert "\313")))
   1.343 +    (global-set-key '(control f12) '(lambda () (interactive) (insert "\314")))
   1.344 +    (global-set-key '(hyper f5) '(lambda () (interactive) (insert "\317")))
   1.345 +    (global-set-key '(hyper f6) '(lambda () (interactive) (insert "\371")))
   1.346 +    (global-set-key '(hyper f7) '(lambda () (interactive) (insert "\372")))
   1.347 +    (global-set-key '(hyper f1) '(lambda () (interactive) (insert "\320")))
   1.348 +    (global-set-key '(hyper f2) '(lambda () (interactive) (insert "\321")))
   1.349 +    (global-set-key '(hyper f3) '(lambda () (interactive) (insert "\322")))
   1.350 +    (global-set-key '(hyper f4) '(lambda () (interactive) (insert "\323")))
   1.351 +    (global-set-key '(control f1) '(lambda () (interactive) (insert "\324")))
   1.352 +    (global-set-key '(control f2) '(lambda () (interactive) (insert "\325")))
   1.353 +    (global-set-key '(control f3) '(lambda () (interactive) (insert "\326")))
   1.354 +    (global-set-key '(control f4) '(lambda () (interactive) (insert "\327")))
   1.355 +    (global-set-key '(hyper b) '(lambda () (interactive) (insert "\330")))
   1.356 +    (global-set-key '(hyper e) '(lambda () (interactive) (insert "\331")))
   1.357 +    (global-set-key '(hyper E) '(lambda () (interactive) (insert "\332")))
   1.358 +    (global-set-key '(hyper u) '(lambda () (interactive) (insert "\333")))
   1.359 +    (global-set-key '(hyper p) '(lambda () (interactive) (insert "\334")))
   1.360 +    (global-set-key '(hyper P) '(lambda () (interactive) (insert "\335")))
   1.361 +    (global-set-key '(hyper l) '(lambda () (interactive) (insert "\336")))
   1.362 +    (global-set-key '(hyper L) '(lambda () (interactive) (insert "\337")))
   1.363 +    (global-set-key '(hyper g) '(lambda () (interactive) (insert "\340")))
   1.364 +    (global-set-key '(hyper G) '(lambda () (interactive) (insert "\341")))
   1.365 +    (global-set-key '(hyper s) '(lambda () (interactive) (insert "\342")))
   1.366 +    (global-set-key '(hyper S) '(lambda () (interactive) (insert "\343")))
   1.367 +    (global-set-key '(shift f11) '(lambda () (interactive) (insert "\344")))
   1.368 +    (global-set-key '(shift f12) '(lambda () (interactive) (insert "\345")))
   1.369 +    (global-set-key '(super f1) '(lambda () (interactive) (insert "\346")))
   1.370 +    (global-set-key '(super f2) '(lambda () (interactive) (insert "\347")))
   1.371 +    (global-set-key '(super f3) '(lambda () (interactive) (insert "\350")))
   1.372 +    (global-set-key '(shift f1) '(lambda () (interactive) (insert "\351")))
   1.373 +    (global-set-key '(shift f2) '(lambda () (interactive) (insert "\352")))
   1.374 +    (global-set-key '(shift f3) '(lambda () (interactive) (insert "\353")))
   1.375 +    (global-set-key '(super f5) '(lambda () (interactive) (insert "\354")))
   1.376 +    (global-set-key '(super f6) '(lambda () (interactive) (insert "\355")))
   1.377 +    (global-set-key '(super f7) '(lambda () (interactive) (insert "\356")))
   1.378 +    (global-set-key '(super f8) '(lambda () (interactive) (insert "\357")))
   1.379 +    (global-set-key '(super f9) '(lambda () (interactive) (insert "\360")))
   1.380 +    (global-set-key '(super f10) '(lambda () (interactive) (insert "\315")))
   1.381 +    (global-set-key '(hyper x) '(lambda () (interactive) (insert "\362")))
   1.382 +    (global-set-key '(shift f5) '(lambda () (interactive) (insert "\363")))
   1.383 +    (global-set-key '(shift f6) '(lambda () (interactive) (insert "\364")))
   1.384 +    (global-set-key '(shift f7) '(lambda () (interactive) (insert "\365")))
   1.385 +    (global-set-key '(shift f8) '(lambda () (interactive) (insert "\366")))
   1.386 +    (global-set-key '(shift f9) '(lambda () (interactive) (insert "\367")))
   1.387 +    (global-set-key '(shift f10) '(lambda () (interactive) (insert "\370")))
   1.388 +    (global-set-key '(super f11) '(lambda () (interactive) (insert "\316")))
   1.389 +    (global-set-key '(super f12) '(lambda () (interactive) (insert "\361")))
   1.390 +    (global-set-key '(hyper f8) '(lambda () (interactive) (insert "\373")))
   1.391 +    (global-set-key '(hyper f9) '(lambda () (interactive) (insert "\374")))
   1.392 +    (global-set-key '(hyper f10) '(lambda () (interactive) (insert "\375")))
   1.393 +    (global-set-key '(hyper f11) '(lambda () (interactive) (insert "\376")))
   1.394 +    (global-set-key '(hyper f12) '(lambda () (interactive) (insert "\377")))
   1.395 +    (global-set-key '(shift f4) '(lambda () (interactive) (insert "\351")(insert "\353")))
   1.396 +    (global-set-key '(super f4) '(lambda () (interactive) (insert "\346")(insert "\350")))
   1.397 +    (global-set-key '(hyper i) '(lambda () (interactive) (insert "\347")(insert "\350")))
   1.398 +    (global-set-key '(hyper I) '(lambda () (interactive) (insert "\352")(insert "\353")))
   1.399 +    (global-set-key '(hyper m) '(lambda () (interactive) (insert "\350")))
   1.400 +    (global-set-key '(hyper M) '(lambda () (interactive) (insert "\353")))
   1.401 +    (global-set-key '(hyper N) '(lambda () (interactive) (insert "\367")))
   1.402 +    (global-set-key '(f9) '(lambda () (interactive) (insert "\304")))
   1.403 +    (global-set-key '(f10) '(lambda () (interactive) (insert "\352")(insert "\353")))
   1.404 +    (global-set-key '(f11) '(lambda () (interactive) (insert "\332")))
   1.405 +    (global-set-key '(f12) '(lambda () (interactive) (insert "\333")))
   1.406 +    ;; END-KEY-MAP
   1.407 +    ))
     2.1 --- a/lib/scripts/isa-emacs	Thu May 22 16:04:48 1997 +0200
     2.2 +++ b/lib/scripts/isa-emacs	Thu May 22 16:37:00 1997 +0200
     2.3 @@ -2,7 +2,7 @@
     2.4  #
     2.5  # $Id$
     2.6  #
     2.7 -# GNU Emacs Isamode interface.
     2.8 +# Emacs Isamode interface wrapper.
     2.9  
    2.10  
    2.11  ## diagnostics
    2.12 @@ -17,7 +17,7 @@
    2.13    echo "  Options are:"
    2.14    echo "    -g GEOM      main window geometry (default 80x20)"
    2.15    echo
    2.16 -  echo "  Starts GNU Emacs and Isamode."
    2.17 +  echo "  Starts Emacs and Isamode."
    2.18    echo
    2.19    exit 1
    2.20  }
    2.21 @@ -57,45 +57,15 @@
    2.22  
    2.23  ## main
    2.24  
    2.25 -# prepare startup file
    2.26 -
    2.27 -STARTUP=/tmp/isa-start$$.el
    2.28 -
    2.29 -{
    2.30 -  echo "(load \"$ISAMODE_HOME/elisp/isa-site.el\")"
    2.31 -  echo
    2.32 +CMDS="-l $ISAMODE_HOME/elisp/isa-site.el"
    2.33  
    2.34 -  echo "(setq isa-logic-paths"
    2.35 -  echo -n "'("
    2.36 -  for DIR in $(echo $ISABELLE_PATH | tr : " ")
    2.37 -  do
    2.38 -    [ -d $DIR ] && echo "\"$DIR\""
    2.39 -  done
    2.40 -  echo "\"$ISAMODE_HOME/ruletables\"))"
    2.41 -  echo
    2.42 +for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \
    2.43 +    "$ISABELLE_HOME_USER/etc/isa-settings.el"
    2.44 +do
    2.45 +  [ -f "$FILE" ] && CMDS="$CMDS -l $FILE"
    2.46 +done
    2.47  
    2.48 -  DOC=$(echo $ISABELLE_DOCS | cut -f1 -d:)       #first doc dir only
    2.49 -  echo "(setq isa-manual-path \"$DOC\")"
    2.50 -  echo
    2.51 -
    2.52 -  for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \
    2.53 -    "$ISABELLE_HOME_USER/etc/isa-settings.el"
    2.54 -  do
    2.55 -    [ -f "$FILE" ] && echo "(load \"$FILE\")"
    2.56 -  done
    2.57 -  echo
    2.58 -
    2.59 -  echo "(isabelle)"
    2.60 -} >$STARTUP
    2.61 +CMDS="$CMDS -f isabelle"
    2.62  
    2.63  
    2.64 -# run it!
    2.65 -
    2.66 -$ISATOOL installfonts
    2.67 -
    2.68 -emacs -name "Isabelle" \
    2.69 -  -fn isabelle14 -geometry $MAINGEOM \
    2.70 -  --no-init-file \
    2.71 -  --load $STARTUP
    2.72 -
    2.73 -rm $STARTUP
    2.74 +$ISAMODE_EMACS -T "Isabelle" -geometry $MAINGEOM $CMDS