etc/isa-settings.el
author wenzelm
Mon, 01 Dec 1997 18:22:38 +0100
changeset 4334 e567f3425267
parent 3304 08952002358d
child 4927 18eaed36a51e
permissions -rw-r--r--
ISABELLE_TMP_PREFIX;
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
;
3304
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
     4
; Setup Emacs for Isabelle environment.
2938
d5e8b19a7765 Setup GNU Emacs for Isabelle environment.
wenzelm
parents:
diff changeset
     5
;
d5e8b19a7765 Setup GNU Emacs for Isabelle environment.
wenzelm
parents:
diff changeset
     6
3304
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
     7
;; Misc settings
2972
wenzelm
parents: 2938
diff changeset
     8
3304
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
     9
(setq isa-use-sml-mode nil)
2972
wenzelm
parents: 2938
diff changeset
    10
wenzelm
parents: 2938
diff changeset
    11
3304
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    12
;; Fonts and Keymaps
2938
d5e8b19a7765 Setup GNU Emacs for Isabelle environment.
wenzelm
parents:
diff changeset
    13
d5e8b19a7765 Setup GNU Emacs for Isabelle environment.
wenzelm
parents:
diff changeset
    14
(setq default-ctl-arrow "z")
d5e8b19a7765 Setup GNU Emacs for Isabelle environment.
wenzelm
parents:
diff changeset
    15
(setq ctl-arrow "z")
d5e8b19a7765 Setup GNU Emacs for Isabelle environment.
wenzelm
parents:
diff changeset
    16
3304
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    17
(if (eq isa-emacs-version 'isa-19)
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    18
    (progn
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    19
      (standard-display-8bit 128 255)
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    20
      ;; FIXME
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    21
      ;; DO NOT EDIT the lines between BEGIN-KEY-MAP and END-KEY-MAP
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    22
      ;; the table is generated by the perl script `gen-isa_gnu_emacs'
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    23
      ;; In order to make changes to the keyboard mappings you should edit
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    24
      ;; the configuration file `key-table.inp' which is interpreted by
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    25
      ;; the perl script `gen-isa_gnu_emacs', 
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    26
      ;;
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    27
      ;;
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    28
      ;; key-map for Isabelle font
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    29
      ;;   
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    30
      ;; BEGIN-KEY-MAP
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    31
      (global-set-key [?\s-G] '(lambda () (interactive) (insert "\241")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    32
      (global-set-key [?\s-D] '(lambda () (interactive) (insert "\242")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    33
      (global-set-key [?\s-J] '(lambda () (interactive) (insert "\243")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    34
      (global-set-key [?\s-L] '(lambda () (interactive) (insert "\244")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    35
      (global-set-key [?\s-P] '(lambda () (interactive) (insert "\245")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    36
      (global-set-key [?\s-S] '(lambda () (interactive) (insert "\246")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    37
      (global-set-key [?\s-F] '(lambda () (interactive) (insert "\247")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    38
      (global-set-key [?\s-Q] '(lambda () (interactive) (insert "\250")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    39
      (global-set-key [?\s-W] '(lambda () (interactive) (insert "\251")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    40
      (global-set-key [?\s-a] '(lambda () (interactive) (insert "\252")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    41
      (global-set-key [?\s-b] '(lambda () (interactive) (insert "\253")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    42
      (global-set-key [?\s-g] '(lambda () (interactive) (insert "\254")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    43
      (global-set-key [?\s-d] '(lambda () (interactive) (insert "\255")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    44
      (global-set-key [?\s-e] '(lambda () (interactive) (insert "\256")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    45
      (global-set-key [?\s-z] '(lambda () (interactive) (insert "\257")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    46
      (global-set-key [?\s-h] '(lambda () (interactive) (insert "\260")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    47
      (global-set-key [?\s-j] '(lambda () (interactive) (insert "\261")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    48
      (global-set-key [?\s-k] '(lambda () (interactive) (insert "\262")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    49
      (global-set-key [?\s-l] '(lambda () (interactive) (insert "\263")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    50
      (global-set-key [?\s-m] '(lambda () (interactive) (insert "\264")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    51
      (global-set-key [?\s-n] '(lambda () (interactive) (insert "\265")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    52
      (global-set-key [?\s-x] '(lambda () (interactive) (insert "\266")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    53
      (global-set-key [?\s-p] '(lambda () (interactive) (insert "\267")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    54
      (global-set-key [?\s-r] '(lambda () (interactive) (insert "\270")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    55
      (global-set-key [?\s-s] '(lambda () (interactive) (insert "\271")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    56
      (global-set-key [?\s-t] '(lambda () (interactive) (insert "\272")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    57
      (global-set-key [?\s-f] '(lambda () (interactive) (insert "\273")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    58
      (global-set-key [?\s-c] '(lambda () (interactive) (insert "\274")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    59
      (global-set-key [?\s-q] '(lambda () (interactive) (insert "\275")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    60
      (global-set-key [?\s-w] '(lambda () (interactive) (insert "\276")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    61
      (global-set-key [?\H-n] '(lambda () (interactive) (insert "\277")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    62
      (global-set-key [?\H-a] '(lambda () (interactive) (insert "\300")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    63
      (global-set-key [?\H-o] '(lambda () (interactive) (insert "\301")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    64
      (global-set-key [?\H-f] '(lambda () (interactive) (insert "\302")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    65
      (global-set-key [?\H-t] '(lambda () (interactive) (insert "\303")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    66
      (global-set-key [?\H-F] '(lambda () (interactive) (insert "\304")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    67
      (global-set-key [C-f5] '(lambda () (interactive) (insert "\305")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    68
      (global-set-key [C-f6] '(lambda () (interactive) (insert "\306")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    69
      (global-set-key [C-f7] '(lambda () (interactive) (insert "\307")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    70
      (global-set-key [C-f8] '(lambda () (interactive) (insert "\310")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    71
      (global-set-key [C-f9] '(lambda () (interactive) (insert "\311")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    72
      (global-set-key [C-f10] '(lambda () (interactive) (insert "\312")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    73
      (global-set-key [C-f11] '(lambda () (interactive) (insert "\313")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    74
      (global-set-key [C-f12] '(lambda () (interactive) (insert "\314")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    75
      (global-set-key [H-f5] '(lambda () (interactive) (insert "\317")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    76
      (global-set-key [H-f6] '(lambda () (interactive) (insert "\371")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    77
      (global-set-key [H-f7] '(lambda () (interactive) (insert "\372")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    78
      (global-set-key [H-f1] '(lambda () (interactive) (insert "\320")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    79
      (global-set-key [H-f2] '(lambda () (interactive) (insert "\321")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    80
      (global-set-key [H-f3] '(lambda () (interactive) (insert "\322")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    81
      (global-set-key [H-f4] '(lambda () (interactive) (insert "\323")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    82
      (global-set-key [C-f1] '(lambda () (interactive) (insert "\324")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    83
      (global-set-key [C-f2] '(lambda () (interactive) (insert "\325")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    84
      (global-set-key [C-f3] '(lambda () (interactive) (insert "\326")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    85
      (global-set-key [C-f4] '(lambda () (interactive) (insert "\327")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    86
      (global-set-key [?\H-b] '(lambda () (interactive) (insert "\330")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    87
      (global-set-key [?\H-e] '(lambda () (interactive) (insert "\331")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    88
      (global-set-key [?\H-E] '(lambda () (interactive) (insert "\332")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    89
      (global-set-key [?\H-u] '(lambda () (interactive) (insert "\333")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    90
      (global-set-key [?\H-p] '(lambda () (interactive) (insert "\334")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    91
      (global-set-key [?\H-P] '(lambda () (interactive) (insert "\335")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    92
      (global-set-key [?\H-l] '(lambda () (interactive) (insert "\336")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    93
      (global-set-key [?\H-L] '(lambda () (interactive) (insert "\337")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    94
      (global-set-key [?\H-g] '(lambda () (interactive) (insert "\340")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    95
      (global-set-key [?\H-G] '(lambda () (interactive) (insert "\341")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    96
      (global-set-key [?\H-s] '(lambda () (interactive) (insert "\342")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    97
      (global-set-key [?\H-S] '(lambda () (interactive) (insert "\343")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    98
      (global-set-key [S-f11] '(lambda () (interactive) (insert "\344")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
    99
      (global-set-key [S-f12] '(lambda () (interactive) (insert "\345")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   100
      (global-set-key [s-f1] '(lambda () (interactive) (insert "\346")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   101
      (global-set-key [s-f2] '(lambda () (interactive) (insert "\347")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   102
      (global-set-key [s-f3] '(lambda () (interactive) (insert "\350")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   103
      (global-set-key [S-f1] '(lambda () (interactive) (insert "\351")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   104
      (global-set-key [S-f2] '(lambda () (interactive) (insert "\352")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   105
      (global-set-key [S-f3] '(lambda () (interactive) (insert "\353")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   106
      (global-set-key [s-f5] '(lambda () (interactive) (insert "\354")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   107
      (global-set-key [s-f6] '(lambda () (interactive) (insert "\355")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   108
      (global-set-key [s-f7] '(lambda () (interactive) (insert "\356")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   109
      (global-set-key [s-f8] '(lambda () (interactive) (insert "\357")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   110
      (global-set-key [s-f9] '(lambda () (interactive) (insert "\360")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   111
      (global-set-key [s-f10] '(lambda () (interactive) (insert "\315")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   112
      (global-set-key [?\H-x] '(lambda () (interactive) (insert "\362")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   113
      (global-set-key [S-f5] '(lambda () (interactive) (insert "\363")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   114
      (global-set-key [S-f6] '(lambda () (interactive) (insert "\364")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   115
      (global-set-key [S-f7] '(lambda () (interactive) (insert "\365")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   116
      (global-set-key [S-f8] '(lambda () (interactive) (insert "\366")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   117
      (global-set-key [S-f9] '(lambda () (interactive) (insert "\367")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   118
      (global-set-key [S-f10] '(lambda () (interactive) (insert "\370")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   119
      (global-set-key [s-f11] '(lambda () (interactive) (insert "\316")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   120
      (global-set-key [s-f12] '(lambda () (interactive) (insert "\361")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   121
      (global-set-key [H-f8] '(lambda () (interactive) (insert "\373")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   122
      (global-set-key [H-f9] '(lambda () (interactive) (insert "\374")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   123
      (global-set-key [H-f10] '(lambda () (interactive) (insert "\375")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   124
      (global-set-key [H-f11] '(lambda () (interactive) (insert "\376")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   125
      (global-set-key [H-f12] '(lambda () (interactive) (insert "\377")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   126
      (global-set-key [S-f4] '(lambda () (interactive) (insert "\351")(insert "\353")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   127
      (global-set-key [s-f4] '(lambda () (interactive) (insert "\346")(insert "\350")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   128
      (global-set-key [?\H-i] '(lambda () (interactive) (insert "\347")(insert "\350")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   129
      (global-set-key [?\H-I] '(lambda () (interactive) (insert "\352")(insert "\353")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   130
      (global-set-key [?\H-m] '(lambda () (interactive) (insert "\350")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   131
      (global-set-key [?\H-M] '(lambda () (interactive) (insert "\353")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   132
      (global-set-key [?\H-N] '(lambda () (interactive) (insert "\367")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   133
      (global-set-key [f9] '(lambda () (interactive) (insert "\304")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   134
      (global-set-key [f10] '(lambda () (interactive) (insert "\352")(insert "\353")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   135
      (global-set-key [f11] '(lambda () (interactive) (insert "\332")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   136
      (global-set-key [f12] '(lambda () (interactive) (insert "\333")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   137
      ;; END-KEY-MAP
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   138
      )
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   139
  (progn
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   140
    (defun isabelle-fonts-menu (e)
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   141
      "Pops up the Isabelle fonts menu."
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   142
      (interactive "@e")
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   143
      (popup-menu
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   144
       '("Isabelle fonts menu"
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   145
	 ["Isabelle 14" (set-face-font 'default "isabelle14") t]
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   146
	 ["Isabelle 24" (set-face-font 'default "isabelle24") t])))
2938
d5e8b19a7765 Setup GNU Emacs for Isabelle environment.
wenzelm
parents:
diff changeset
   147
3304
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   148
    (global-unset-key '(shift control button3))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   149
    (global-set-key '(shift control button3) 'isabelle-fonts-menu)
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   150
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   151
    ;;FIXME
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   152
    ;; DO NOT EDIT the lines between BEGIN-KEY-MAP and END-KEY-MAP
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   153
    ;; the table is generated by the perl script `gen-isa_xemacs'
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   154
    ;; In order to make changes to the keyboard mappings you should edit
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   155
    ;; the configuration file `key-table.inp' which is interpreted by
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   156
    ;; the perl script `gen-isa_xemacs', 
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   157
    ;;
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   158
    ;;
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   159
    ;; key-map for Isabelle font
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   160
    ;;   
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   161
    ;; BEGIN-KEY-MAP
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   162
    (global-set-key '(super G) '(lambda () (interactive) (insert "\241")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   163
    (global-set-key '(super D) '(lambda () (interactive) (insert "\242")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   164
    (global-set-key '(super J) '(lambda () (interactive) (insert "\243")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   165
    (global-set-key '(super L) '(lambda () (interactive) (insert "\244")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   166
    (global-set-key '(super P) '(lambda () (interactive) (insert "\245")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   167
    (global-set-key '(super S) '(lambda () (interactive) (insert "\246")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   168
    (global-set-key '(super F) '(lambda () (interactive) (insert "\247")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   169
    (global-set-key '(super Q) '(lambda () (interactive) (insert "\250")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   170
    (global-set-key '(super W) '(lambda () (interactive) (insert "\251")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   171
    (global-set-key '(super a) '(lambda () (interactive) (insert "\252")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   172
    (global-set-key '(super b) '(lambda () (interactive) (insert "\253")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   173
    (global-set-key '(super g) '(lambda () (interactive) (insert "\254")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   174
    (global-set-key '(super d) '(lambda () (interactive) (insert "\255")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   175
    (global-set-key '(super e) '(lambda () (interactive) (insert "\256")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   176
    (global-set-key '(super z) '(lambda () (interactive) (insert "\257")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   177
    (global-set-key '(super h) '(lambda () (interactive) (insert "\260")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   178
    (global-set-key '(super j) '(lambda () (interactive) (insert "\261")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   179
    (global-set-key '(super k) '(lambda () (interactive) (insert "\262")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   180
    (global-set-key '(super l) '(lambda () (interactive) (insert "\263")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   181
    (global-set-key '(super m) '(lambda () (interactive) (insert "\264")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   182
    (global-set-key '(super n) '(lambda () (interactive) (insert "\265")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   183
    (global-set-key '(super x) '(lambda () (interactive) (insert "\266")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   184
    (global-set-key '(super p) '(lambda () (interactive) (insert "\267")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   185
    (global-set-key '(super r) '(lambda () (interactive) (insert "\270")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   186
    (global-set-key '(super s) '(lambda () (interactive) (insert "\271")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   187
    (global-set-key '(super t) '(lambda () (interactive) (insert "\272")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   188
    (global-set-key '(super f) '(lambda () (interactive) (insert "\273")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   189
    (global-set-key '(super c) '(lambda () (interactive) (insert "\274")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   190
    (global-set-key '(super q) '(lambda () (interactive) (insert "\275")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   191
    (global-set-key '(super w) '(lambda () (interactive) (insert "\276")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   192
    (global-set-key '(hyper n) '(lambda () (interactive) (insert "\277")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   193
    (global-set-key '(hyper a) '(lambda () (interactive) (insert "\300")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   194
    (global-set-key '(hyper o) '(lambda () (interactive) (insert "\301")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   195
    (global-set-key '(hyper f) '(lambda () (interactive) (insert "\302")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   196
    (global-set-key '(hyper t) '(lambda () (interactive) (insert "\303")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   197
    (global-set-key '(hyper F) '(lambda () (interactive) (insert "\304")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   198
    (global-set-key '(control f5) '(lambda () (interactive) (insert "\305")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   199
    (global-set-key '(control f6) '(lambda () (interactive) (insert "\306")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   200
    (global-set-key '(control f7) '(lambda () (interactive) (insert "\307")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   201
    (global-set-key '(control f8) '(lambda () (interactive) (insert "\310")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   202
    (global-set-key '(control f9) '(lambda () (interactive) (insert "\311")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   203
    (global-set-key '(control f10) '(lambda () (interactive) (insert "\312")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   204
    (global-set-key '(control f11) '(lambda () (interactive) (insert "\313")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   205
    (global-set-key '(control f12) '(lambda () (interactive) (insert "\314")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   206
    (global-set-key '(hyper f5) '(lambda () (interactive) (insert "\317")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   207
    (global-set-key '(hyper f6) '(lambda () (interactive) (insert "\371")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   208
    (global-set-key '(hyper f7) '(lambda () (interactive) (insert "\372")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   209
    (global-set-key '(hyper f1) '(lambda () (interactive) (insert "\320")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   210
    (global-set-key '(hyper f2) '(lambda () (interactive) (insert "\321")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   211
    (global-set-key '(hyper f3) '(lambda () (interactive) (insert "\322")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   212
    (global-set-key '(hyper f4) '(lambda () (interactive) (insert "\323")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   213
    (global-set-key '(control f1) '(lambda () (interactive) (insert "\324")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   214
    (global-set-key '(control f2) '(lambda () (interactive) (insert "\325")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   215
    (global-set-key '(control f3) '(lambda () (interactive) (insert "\326")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   216
    (global-set-key '(control f4) '(lambda () (interactive) (insert "\327")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   217
    (global-set-key '(hyper b) '(lambda () (interactive) (insert "\330")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   218
    (global-set-key '(hyper e) '(lambda () (interactive) (insert "\331")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   219
    (global-set-key '(hyper E) '(lambda () (interactive) (insert "\332")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   220
    (global-set-key '(hyper u) '(lambda () (interactive) (insert "\333")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   221
    (global-set-key '(hyper p) '(lambda () (interactive) (insert "\334")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   222
    (global-set-key '(hyper P) '(lambda () (interactive) (insert "\335")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   223
    (global-set-key '(hyper l) '(lambda () (interactive) (insert "\336")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   224
    (global-set-key '(hyper L) '(lambda () (interactive) (insert "\337")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   225
    (global-set-key '(hyper g) '(lambda () (interactive) (insert "\340")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   226
    (global-set-key '(hyper G) '(lambda () (interactive) (insert "\341")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   227
    (global-set-key '(hyper s) '(lambda () (interactive) (insert "\342")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   228
    (global-set-key '(hyper S) '(lambda () (interactive) (insert "\343")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   229
    (global-set-key '(shift f11) '(lambda () (interactive) (insert "\344")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   230
    (global-set-key '(shift f12) '(lambda () (interactive) (insert "\345")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   231
    (global-set-key '(super f1) '(lambda () (interactive) (insert "\346")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   232
    (global-set-key '(super f2) '(lambda () (interactive) (insert "\347")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   233
    (global-set-key '(super f3) '(lambda () (interactive) (insert "\350")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   234
    (global-set-key '(shift f1) '(lambda () (interactive) (insert "\351")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   235
    (global-set-key '(shift f2) '(lambda () (interactive) (insert "\352")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   236
    (global-set-key '(shift f3) '(lambda () (interactive) (insert "\353")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   237
    (global-set-key '(super f5) '(lambda () (interactive) (insert "\354")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   238
    (global-set-key '(super f6) '(lambda () (interactive) (insert "\355")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   239
    (global-set-key '(super f7) '(lambda () (interactive) (insert "\356")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   240
    (global-set-key '(super f8) '(lambda () (interactive) (insert "\357")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   241
    (global-set-key '(super f9) '(lambda () (interactive) (insert "\360")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   242
    (global-set-key '(super f10) '(lambda () (interactive) (insert "\315")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   243
    (global-set-key '(hyper x) '(lambda () (interactive) (insert "\362")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   244
    (global-set-key '(shift f5) '(lambda () (interactive) (insert "\363")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   245
    (global-set-key '(shift f6) '(lambda () (interactive) (insert "\364")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   246
    (global-set-key '(shift f7) '(lambda () (interactive) (insert "\365")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   247
    (global-set-key '(shift f8) '(lambda () (interactive) (insert "\366")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   248
    (global-set-key '(shift f9) '(lambda () (interactive) (insert "\367")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   249
    (global-set-key '(shift f10) '(lambda () (interactive) (insert "\370")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   250
    (global-set-key '(super f11) '(lambda () (interactive) (insert "\316")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   251
    (global-set-key '(super f12) '(lambda () (interactive) (insert "\361")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   252
    (global-set-key '(hyper f8) '(lambda () (interactive) (insert "\373")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   253
    (global-set-key '(hyper f9) '(lambda () (interactive) (insert "\374")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   254
    (global-set-key '(hyper f10) '(lambda () (interactive) (insert "\375")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   255
    (global-set-key '(hyper f11) '(lambda () (interactive) (insert "\376")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   256
    (global-set-key '(hyper f12) '(lambda () (interactive) (insert "\377")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   257
    (global-set-key '(shift f4) '(lambda () (interactive) (insert "\351")(insert "\353")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   258
    (global-set-key '(super f4) '(lambda () (interactive) (insert "\346")(insert "\350")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   259
    (global-set-key '(hyper i) '(lambda () (interactive) (insert "\347")(insert "\350")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   260
    (global-set-key '(hyper I) '(lambda () (interactive) (insert "\352")(insert "\353")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   261
    (global-set-key '(hyper m) '(lambda () (interactive) (insert "\350")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   262
    (global-set-key '(hyper M) '(lambda () (interactive) (insert "\353")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   263
    (global-set-key '(hyper N) '(lambda () (interactive) (insert "\367")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   264
    (global-set-key '(f9) '(lambda () (interactive) (insert "\304")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   265
    (global-set-key '(f10) '(lambda () (interactive) (insert "\352")(insert "\353")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   266
    (global-set-key '(f11) '(lambda () (interactive) (insert "\332")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   267
    (global-set-key '(f12) '(lambda () (interactive) (insert "\333")))
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   268
    ;; END-KEY-MAP
08952002358d adapted to Isamode 2.6;
wenzelm
parents: 3070
diff changeset
   269
    ))