diff -r 4772656ddbbc -r cbe6144f0f15 etc/isa-settings.el
--- 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)