# HG changeset patch
# User wenzelm
# Date 861280916 -7200
# Node ID 11e124d2e1842615eceb1a7a46a1f8f7bdab05c8
# Parent  c1e1e8406fb2bd9906692690cf95a2a001861fc1
tuned;

diff -r c1e1e8406fb2 -r 11e124d2e184 etc/isa-settings.el
--- a/etc/isa-settings.el	Thu Apr 17 14:41:26 1997 +0200
+++ b/etc/isa-settings.el	Thu Apr 17 14:41:56 1997 +0200
@@ -4,6 +4,12 @@
 ; Setup GNU Emacs for Isabelle environment.
 ;
 
+;; Misc settins
+
+(setq listener-base-mode 'fundamental-mode)
+(setq isa-thy-use-sml-mode nil)
+
+
 ;; Isabelle fonts
 
 (set-default-font "isabelle14")