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