# 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