etc/isa-settings.el
author oheimb
Thu May 14 16:35:30 1998 +0200 (1998-05-14)
changeset 4927 18eaed36a51e
parent 3304 08952002358d
child 7812 a8a21d7a83a1
permissions -rw-r--r--
keyboard settings now done by loading Tools/8bit/xemacs/isa_xemacs.emacs
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
))