etc/isa-settings.el
changeset 7812 a8a21d7a83a1
parent 4927 18eaed36a51e
child 9226 cbe6144f0f15
equal deleted inserted replaced
7811:eaf9e022eef3 7812:a8a21d7a83a1
     5 ;
     5 ;
     6 
     6 
     7 ;; Misc settings
     7 ;; Misc settings
     8 
     8 
     9 (setq isa-use-sml-mode nil)
     9 (setq isa-use-sml-mode nil)
    10 
       
    11 
       
    12 ;; Fonts and Keymaps
       
    13 
       
    14 (load (concat (getenv "ISABELLE_HOME") "/src/Tools/8bit/xemacs/isa_xemacs.emacs"
       
    15 ))