etc/isa-settings.el
changeset 2972 11e124d2e184
parent 2938 d5e8b19a7765
child 3070 cadbaef4f4a5
     1.1 --- a/etc/isa-settings.el	Thu Apr 17 14:41:26 1997 +0200
     1.2 +++ b/etc/isa-settings.el	Thu Apr 17 14:41:56 1997 +0200
     1.3 @@ -4,6 +4,12 @@
     1.4  ; Setup GNU Emacs for Isabelle environment.
     1.5  ;
     1.6  
     1.7 +;; Misc settins
     1.8 +
     1.9 +(setq listener-base-mode 'fundamental-mode)
    1.10 +(setq isa-thy-use-sml-mode nil)
    1.11 +
    1.12 +
    1.13  ;; Isabelle fonts
    1.14  
    1.15  (set-default-font "isabelle14")