etc/isa-settings.el
author wenzelm
Wed, 13 Apr 2005 18:48:05 +0200
changeset 15717 541e50adfc73
parent 9226 cbe6144f0f15
permissions -rw-r--r--
*** MESSAGE REFERS TO PREVIOUS VERSION *** ISABELLE_DOC_FORMAT;

;
; $Id$
;
; Options for Isamode (old)
;

(setq isa-use-sml-mode nil)