--- 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)
--- 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