etc/isa-settings.el
author wenzelm
Sat Oct 09 16:18:16 1999 +0200 (1999-10-09)
changeset 7812 a8a21d7a83a1
parent 4927 18eaed36a51e
child 9226 cbe6144f0f15
permissions -rw-r--r--
removed 8bit;
     1 ;
     2 ; $Id$
     3 ;
     4 ; Setup Emacs for Isabelle environment.
     5 ;
     6 
     7 ;; Misc settings
     8 
     9 (setq isa-use-sml-mode nil)