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
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
))