changeset 2972 | 11e124d2e184 |
parent 2938 | d5e8b19a7765 |
child 3070 | cadbaef4f4a5 |
2971:c1e1e8406fb2 | 2972:11e124d2e184 |
---|---|
1 ; |
1 ; |
2 ; $Id$ |
2 ; $Id$ |
3 ; |
3 ; |
4 ; Setup GNU Emacs for Isabelle environment. |
4 ; Setup GNU Emacs for Isabelle environment. |
5 ; |
5 ; |
6 |
|
7 ;; Misc settins |
|
8 |
|
9 (setq listener-base-mode 'fundamental-mode) |
|
10 (setq isa-thy-use-sml-mode nil) |
|
11 |
|
6 |
12 |
7 ;; Isabelle fonts |
13 ;; Isabelle fonts |
8 |
14 |
9 (set-default-font "isabelle14") |
15 (set-default-font "isabelle14") |
10 |
16 |