etc/isa-settings.el
changeset 2972 11e124d2e184
parent 2938 d5e8b19a7765
child 3070 cadbaef4f4a5
equal deleted inserted replaced
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