1 ;
2 ; $Id$
3 ;
4 ; Setup Emacs for Isabelle environment.
5 ;
6
7 ;; Misc settings
8
9 (setq isa-use-sml-mode nil)