| author | wenzelm |
| Wed, 13 Oct 1999 19:43:26 +0200 | |
| changeset 7856 | 7d06972db6ca |
| parent 7812 | a8a21d7a83a1 |
| child 9226 | cbe6144f0f15 |
| permissions | -rw-r--r-- |
| wenzelm@2938 | 1 |
; |
| wenzelm@2938 | 2 |
; $Id$ |
| wenzelm@2938 | 3 |
; |
| wenzelm@3304 | 4 |
; Setup Emacs for Isabelle environment. |
| wenzelm@2938 | 5 |
; |
| wenzelm@2938 | 6 |
|
| wenzelm@3304 | 7 |
;; Misc settings |
| wenzelm@2972 | 8 |
|
| wenzelm@3304 | 9 |
(setq isa-use-sml-mode nil) |