tuned;

--- 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")