# HG changeset patch # User wenzelm # Date 962473760 -7200 # Node ID cbe6144f0f15365e56587086c11ae1c62c3ce8db # Parent 4772656ddbbc30ab80754e31786ff903c7ddf48b tuned; diff -r 4772656ddbbc -r cbe6144f0f15 etc/isa-settings.el --- a/etc/isa-settings.el Sat Jul 01 19:49:09 2000 +0200 +++ b/etc/isa-settings.el Sat Jul 01 19:49:20 2000 +0200 @@ -1,9 +1,7 @@ ; ; $Id$ ; -; Setup Emacs for Isabelle environment. +; Options for Isamode (old) ; -;; Misc settings - (setq isa-use-sml-mode nil) diff -r 4772656ddbbc -r cbe6144f0f15 etc/user-settings.sample --- a/etc/user-settings.sample Sat Jul 01 19:49:09 2000 +0200 +++ b/etc/user-settings.sample Sat Jul 01 19:49:20 2000 +0200 @@ -2,34 +2,9 @@ # $Id$ # # Isabelle user settings sample (everything commented out) -# -- some parts may be copied into ~/isabelle/etc/settings. +# -- may be copied to ~/isabelle/etc/settings # -### -### Compilation options -### - #ISABELLE_USEDIR_OPTIONS="-i true -d pdf" - -### -### Heap files -### - -# Note: ML system identifier appended automatically! - -#ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH -#ISABELLE_OUTPUT=somewhere-else - #ISABELLE_LOGIC=ZF - - -### -### Interfaces -### - -# Simple xterm based interface. -#ISABELLE_INTERFACE=xterm - -# Emacs running Isamode. -#ISABELLE_INTERFACE=emacs