etc/isa-settings.el
changeset 9226 cbe6144f0f15
parent 7812 a8a21d7a83a1
     1.1 --- a/etc/isa-settings.el	Sat Jul 01 19:49:09 2000 +0200
     1.2 +++ b/etc/isa-settings.el	Sat Jul 01 19:49:20 2000 +0200
     1.3 @@ -1,9 +1,7 @@
     1.4  ;
     1.5  ; $Id$
     1.6  ;
     1.7 -; Setup Emacs for Isabelle environment.
     1.8 +; Options for Isamode (old)
     1.9  ;
    1.10  
    1.11 -;; Misc settings
    1.12 -
    1.13  (setq isa-use-sml-mode nil)