etc/isa-settings.el
author oheimb
Fri Jun 02 20:38:28 2000 +0200 (2000-06-02)
changeset 9028 8a1ec8f05f14
parent 7812 a8a21d7a83a1
child 9226 cbe6144f0f15
permissions -rw-r--r--
added HOL/Prolog
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)