etc/isa-settings.el
author oheimb
Fri, 18 Feb 2000 20:24:56 +0100
changeset 8260 87f21e25fcb6
parent 7812 a8a21d7a83a1
child 9226 cbe6144f0f15
permissions -rw-r--r--
added Suc_le_D

;
; $Id$
;
; Setup Emacs for Isabelle environment.
;

;; Misc settings

(setq isa-use-sml-mode nil)