tuned;
authorwenzelm
Thu Apr 17 14:41:56 1997 +0200 (1997-04-17)
changeset 297211e124d2e184
parent 2971 c1e1e8406fb2
child 2973 184c7cd8043d
tuned;
etc/isa-settings.el
     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")