etc/isa-settings.el
author paulson
Fri Aug 11 13:27:17 2000 +0200 (2000-08-11)
changeset 9578 ab26d6c8ebfe
parent 9226 cbe6144f0f15
permissions -rw-r--r--
new theory Integ/IntDiv and many more monotonicity laws, etc., for the integers
wenzelm@2938
     1
;
wenzelm@2938
     2
; $Id$
wenzelm@2938
     3
;
wenzelm@9226
     4
; Options for Isamode (old)
wenzelm@2938
     5
;
wenzelm@2938
     6
wenzelm@3304
     7
(setq isa-use-sml-mode nil)