etc/isa-settings.el
author wenzelm
Wed Sep 29 13:49:07 1999 +0200 (1999-09-29)
changeset 7632 25a0d2ba3a87
parent 4927 18eaed36a51e
child 7812 a8a21d7a83a1
permissions -rw-r--r--
removed extra shyps error;
wenzelm@2938
     1
;
wenzelm@2938
     2
; $Id$
wenzelm@2938
     3
;
wenzelm@3304
     4
; Setup Emacs for Isabelle environment.
wenzelm@2938
     5
;
wenzelm@2938
     6
wenzelm@3304
     7
;; Misc settings
wenzelm@2972
     8
wenzelm@3304
     9
(setq isa-use-sml-mode nil)
wenzelm@2972
    10
wenzelm@2972
    11
wenzelm@3304
    12
;; Fonts and Keymaps
wenzelm@2938
    13
oheimb@4927
    14
(load (concat (getenv "ISABELLE_HOME") "/src/Tools/8bit/xemacs/isa_xemacs.emacs"
oheimb@4927
    15
))