--- a/etc/isa-settings.el Sat Jul 01 19:49:09 2000 +0200
+++ b/etc/isa-settings.el Sat Jul 01 19:49:20 2000 +0200
@@ -1,9 +1,7 @@
;
; $Id$
;
-; Setup Emacs for Isabelle environment.
+; Options for Isamode (old)
;
-;; Misc settings
-
(setq isa-use-sml-mode nil)