etc/isa-settings.el
author nipkow
Mon Dec 13 17:07:47 2004 +0100 (2004-12-13)
changeset 15405 010ea63b7a67
parent 9226 cbe6144f0f15
permissions -rw-r--r--
added find_rewrites
     1 ;
     2 ; $Id$
     3 ;
     4 ; Options for Isamode (old)
     5 ;
     6 
     7 (setq isa-use-sml-mode nil)