etc/isa-settings.el
author paulson
Fri Sep 24 16:33:57 1999 +0200 (1999-09-24 ago)
changeset 7594 8a188ef6545e
parent 4927 18eaed36a51e
child 7812 a8a21d7a83a1
permissions -rw-r--r--
working version with co-guarantees-leadsto results
     1 ;
     2 ; $Id$
     3 ;
     4 ; Setup Emacs for Isabelle environment.
     5 ;
     6 
     7 ;; Misc settings
     8 
     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 ))