Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
isabelle