etc/isa-settings.el
author wenzelm
Sat Jul 01 19:49:20 2000 +0200 (2000-07-01)
changeset 9226 cbe6144f0f15
parent 7812 a8a21d7a83a1
permissions -rw-r--r--
tuned;
     1 ;
     2 ; $Id$
     3 ;
     4 ; Options for Isamode (old)
     5 ;
     6 
     7 (setq isa-use-sml-mode nil)