Setup GNU Emacs for Isabelle environment.
authorwenzelm
Sat Apr 12 20:00:11 1997 +0200 (1997-04-12)
changeset 2938d5e8b19a7765
parent 2937 9d31c472d0b0
child 2939 73837efaf71b
Setup GNU Emacs for Isabelle environment.
etc/isa-settings.el
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/etc/isa-settings.el	Sat Apr 12 20:00:11 1997 +0200
     1.3 @@ -0,0 +1,142 @@
     1.4 +;
     1.5 +; $Id$
     1.6 +;
     1.7 +; Setup GNU Emacs for Isabelle environment.
     1.8 +;
     1.9 +
    1.10 +;; Isabelle fonts
    1.11 +
    1.12 +(set-default-font "isabelle14")
    1.13 +
    1.14 +(setcdr x-fixed-font-alist
    1.15 +	(cons  '("Symbol fonts"
    1.16 +		 ("isabelle 14" "isabelle14")
    1.17 +		 ("isabelle 24" "isabelle24"))
    1.18 +	       (cdr x-fixed-font-alist)))
    1.19 +
    1.20 +;; Keymaps
    1.21 +
    1.22 +(setq default-ctl-arrow "z")
    1.23 +(setq ctl-arrow "z")
    1.24 +
    1.25 +(standard-display-european 1)
    1.26 +(require 'iso-syntax)
    1.27 +
    1.28 +;; FIXME
    1.29 +;; DO NOT EDIT the lines between BEGIN-KEY-MAP and END-KEY-MAP
    1.30 +;; the table is generated by the perl script `gen-isa_gnu_emacs'
    1.31 +;; In order to make changes to the keyboard mappings you should edit
    1.32 +;; the configuration file `key-table.inp' which is interpreted by
    1.33 +;; the perl script `gen-isa_gnu_emacs', 
    1.34 +;;
    1.35 +;;
    1.36 +;; key-map for Isabelle font
    1.37 +;;   
    1.38 +;; BEGIN-KEY-MAP
    1.39 +(global-set-key [?\s-G] '(lambda () (interactive) (insert "\241")))
    1.40 +(global-set-key [?\s-D] '(lambda () (interactive) (insert "\242")))
    1.41 +(global-set-key [?\s-J] '(lambda () (interactive) (insert "\243")))
    1.42 +(global-set-key [?\s-L] '(lambda () (interactive) (insert "\244")))
    1.43 +(global-set-key [?\s-P] '(lambda () (interactive) (insert "\245")))
    1.44 +(global-set-key [?\s-S] '(lambda () (interactive) (insert "\246")))
    1.45 +(global-set-key [?\s-F] '(lambda () (interactive) (insert "\247")))
    1.46 +(global-set-key [?\s-Q] '(lambda () (interactive) (insert "\250")))
    1.47 +(global-set-key [?\s-W] '(lambda () (interactive) (insert "\251")))
    1.48 +(global-set-key [?\s-a] '(lambda () (interactive) (insert "\252")))
    1.49 +(global-set-key [?\s-b] '(lambda () (interactive) (insert "\253")))
    1.50 +(global-set-key [?\s-g] '(lambda () (interactive) (insert "\254")))
    1.51 +(global-set-key [?\s-d] '(lambda () (interactive) (insert "\255")))
    1.52 +(global-set-key [?\s-e] '(lambda () (interactive) (insert "\256")))
    1.53 +(global-set-key [?\s-z] '(lambda () (interactive) (insert "\257")))
    1.54 +(global-set-key [?\s-h] '(lambda () (interactive) (insert "\260")))
    1.55 +(global-set-key [?\s-j] '(lambda () (interactive) (insert "\261")))
    1.56 +(global-set-key [?\s-k] '(lambda () (interactive) (insert "\262")))
    1.57 +(global-set-key [?\s-l] '(lambda () (interactive) (insert "\263")))
    1.58 +(global-set-key [?\s-m] '(lambda () (interactive) (insert "\264")))
    1.59 +(global-set-key [?\s-n] '(lambda () (interactive) (insert "\265")))
    1.60 +(global-set-key [?\s-x] '(lambda () (interactive) (insert "\266")))
    1.61 +(global-set-key [?\s-p] '(lambda () (interactive) (insert "\267")))
    1.62 +(global-set-key [?\s-r] '(lambda () (interactive) (insert "\270")))
    1.63 +(global-set-key [?\s-s] '(lambda () (interactive) (insert "\271")))
    1.64 +(global-set-key [?\s-t] '(lambda () (interactive) (insert "\272")))
    1.65 +(global-set-key [?\s-f] '(lambda () (interactive) (insert "\273")))
    1.66 +(global-set-key [?\s-c] '(lambda () (interactive) (insert "\274")))
    1.67 +(global-set-key [?\s-q] '(lambda () (interactive) (insert "\275")))
    1.68 +(global-set-key [?\s-w] '(lambda () (interactive) (insert "\276")))
    1.69 +(global-set-key [?\H-n] '(lambda () (interactive) (insert "\277")))
    1.70 +(global-set-key [?\H-a] '(lambda () (interactive) (insert "\300")))
    1.71 +(global-set-key [?\H-o] '(lambda () (interactive) (insert "\301")))
    1.72 +(global-set-key [?\H-f] '(lambda () (interactive) (insert "\302")))
    1.73 +(global-set-key [?\H-t] '(lambda () (interactive) (insert "\303")))
    1.74 +(global-set-key [?\H-F] '(lambda () (interactive) (insert "\304")))
    1.75 +(global-set-key [C-f5] '(lambda () (interactive) (insert "\305")))
    1.76 +(global-set-key [C-f6] '(lambda () (interactive) (insert "\306")))
    1.77 +(global-set-key [C-f7] '(lambda () (interactive) (insert "\307")))
    1.78 +(global-set-key [C-f8] '(lambda () (interactive) (insert "\310")))
    1.79 +(global-set-key [C-f9] '(lambda () (interactive) (insert "\311")))
    1.80 +(global-set-key [C-f10] '(lambda () (interactive) (insert "\312")))
    1.81 +(global-set-key [C-f11] '(lambda () (interactive) (insert "\313")))
    1.82 +(global-set-key [C-f12] '(lambda () (interactive) (insert "\314")))
    1.83 +(global-set-key [H-f5] '(lambda () (interactive) (insert "\317")))
    1.84 +(global-set-key [H-f6] '(lambda () (interactive) (insert "\371")))
    1.85 +(global-set-key [H-f7] '(lambda () (interactive) (insert "\372")))
    1.86 +(global-set-key [H-f1] '(lambda () (interactive) (insert "\320")))
    1.87 +(global-set-key [H-f2] '(lambda () (interactive) (insert "\321")))
    1.88 +(global-set-key [H-f3] '(lambda () (interactive) (insert "\322")))
    1.89 +(global-set-key [H-f4] '(lambda () (interactive) (insert "\323")))
    1.90 +(global-set-key [C-f1] '(lambda () (interactive) (insert "\324")))
    1.91 +(global-set-key [C-f2] '(lambda () (interactive) (insert "\325")))
    1.92 +(global-set-key [C-f3] '(lambda () (interactive) (insert "\326")))
    1.93 +(global-set-key [C-f4] '(lambda () (interactive) (insert "\327")))
    1.94 +(global-set-key [?\H-b] '(lambda () (interactive) (insert "\330")))
    1.95 +(global-set-key [?\H-e] '(lambda () (interactive) (insert "\331")))
    1.96 +(global-set-key [?\H-E] '(lambda () (interactive) (insert "\332")))
    1.97 +(global-set-key [?\H-u] '(lambda () (interactive) (insert "\333")))
    1.98 +(global-set-key [?\H-p] '(lambda () (interactive) (insert "\334")))
    1.99 +(global-set-key [?\H-P] '(lambda () (interactive) (insert "\335")))
   1.100 +(global-set-key [?\H-l] '(lambda () (interactive) (insert "\336")))
   1.101 +(global-set-key [?\H-L] '(lambda () (interactive) (insert "\337")))
   1.102 +(global-set-key [?\H-g] '(lambda () (interactive) (insert "\340")))
   1.103 +(global-set-key [?\H-G] '(lambda () (interactive) (insert "\341")))
   1.104 +(global-set-key [?\H-s] '(lambda () (interactive) (insert "\342")))
   1.105 +(global-set-key [?\H-S] '(lambda () (interactive) (insert "\343")))
   1.106 +(global-set-key [S-f11] '(lambda () (interactive) (insert "\344")))
   1.107 +(global-set-key [S-f12] '(lambda () (interactive) (insert "\345")))
   1.108 +(global-set-key [s-f1] '(lambda () (interactive) (insert "\346")))
   1.109 +(global-set-key [s-f2] '(lambda () (interactive) (insert "\347")))
   1.110 +(global-set-key [s-f3] '(lambda () (interactive) (insert "\350")))
   1.111 +(global-set-key [S-f1] '(lambda () (interactive) (insert "\351")))
   1.112 +(global-set-key [S-f2] '(lambda () (interactive) (insert "\352")))
   1.113 +(global-set-key [S-f3] '(lambda () (interactive) (insert "\353")))
   1.114 +(global-set-key [s-f5] '(lambda () (interactive) (insert "\354")))
   1.115 +(global-set-key [s-f6] '(lambda () (interactive) (insert "\355")))
   1.116 +(global-set-key [s-f7] '(lambda () (interactive) (insert "\356")))
   1.117 +(global-set-key [s-f8] '(lambda () (interactive) (insert "\357")))
   1.118 +(global-set-key [s-f9] '(lambda () (interactive) (insert "\360")))
   1.119 +(global-set-key [s-f10] '(lambda () (interactive) (insert "\315")))
   1.120 +(global-set-key [?\H-x] '(lambda () (interactive) (insert "\362")))
   1.121 +(global-set-key [S-f5] '(lambda () (interactive) (insert "\363")))
   1.122 +(global-set-key [S-f6] '(lambda () (interactive) (insert "\364")))
   1.123 +(global-set-key [S-f7] '(lambda () (interactive) (insert "\365")))
   1.124 +(global-set-key [S-f8] '(lambda () (interactive) (insert "\366")))
   1.125 +(global-set-key [S-f9] '(lambda () (interactive) (insert "\367")))
   1.126 +(global-set-key [S-f10] '(lambda () (interactive) (insert "\370")))
   1.127 +(global-set-key [s-f11] '(lambda () (interactive) (insert "\316")))
   1.128 +(global-set-key [s-f12] '(lambda () (interactive) (insert "\361")))
   1.129 +(global-set-key [H-f8] '(lambda () (interactive) (insert "\373")))
   1.130 +(global-set-key [H-f9] '(lambda () (interactive) (insert "\374")))
   1.131 +(global-set-key [H-f10] '(lambda () (interactive) (insert "\375")))
   1.132 +(global-set-key [H-f11] '(lambda () (interactive) (insert "\376")))
   1.133 +(global-set-key [H-f12] '(lambda () (interactive) (insert "\377")))
   1.134 +(global-set-key [S-f4] '(lambda () (interactive) (insert "\351")(insert "\353")))
   1.135 +(global-set-key [s-f4] '(lambda () (interactive) (insert "\346")(insert "\350")))
   1.136 +(global-set-key [?\H-i] '(lambda () (interactive) (insert "\347")(insert "\350")))
   1.137 +(global-set-key [?\H-I] '(lambda () (interactive) (insert "\352")(insert "\353")))
   1.138 +(global-set-key [?\H-m] '(lambda () (interactive) (insert "\350")))
   1.139 +(global-set-key [?\H-M] '(lambda () (interactive) (insert "\353")))
   1.140 +(global-set-key [?\H-N] '(lambda () (interactive) (insert "\367")))
   1.141 +(global-set-key [f9] '(lambda () (interactive) (insert "\304")))
   1.142 +(global-set-key [f10] '(lambda () (interactive) (insert "\352")(insert "\353")))
   1.143 +(global-set-key [f11] '(lambda () (interactive) (insert "\332")))
   1.144 +(global-set-key [f12] '(lambda () (interactive) (insert "\333")))
   1.145 +;; END-KEY-MAP