1.1 --- a/etc/isa-settings.el Sat Jul 01 19:49:09 2000 +0200
1.2 +++ b/etc/isa-settings.el Sat Jul 01 19:49:20 2000 +0200
1.3 @@ -1,9 +1,7 @@
1.4 ;
1.5 ; $Id$
1.6 ;
1.7 -; Setup Emacs for Isabelle environment.
1.8 +; Options for Isamode (old)
1.9 ;
1.10
1.11 -;; Misc settings
1.12 -
1.13 (setq isa-use-sml-mode nil)
2.1 --- a/etc/user-settings.sample Sat Jul 01 19:49:09 2000 +0200
2.2 +++ b/etc/user-settings.sample Sat Jul 01 19:49:20 2000 +0200
2.3 @@ -2,34 +2,9 @@
2.4 # $Id$
2.5 #
2.6 # Isabelle user settings sample (everything commented out)
2.7 -# -- some parts may be copied into ~/isabelle/etc/settings.
2.8 +# -- may be copied to ~/isabelle/etc/settings
2.9 #
2.10
2.11 -###
2.12 -### Compilation options
2.13 -###
2.14 -
2.15 #ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
2.16
2.17 -
2.18 -###
2.19 -### Heap files
2.20 -###
2.21 -
2.22 -# Note: ML system identifier appended automatically!
2.23 -
2.24 -#ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
2.25 -#ISABELLE_OUTPUT=somewhere-else
2.26 -
2.27 #ISABELLE_LOGIC=ZF
2.28 -
2.29 -
2.30 -###
2.31 -### Interfaces
2.32 -###
2.33 -
2.34 -# Simple xterm based interface.
2.35 -#ISABELLE_INTERFACE=xterm
2.36 -
2.37 -# Emacs running Isamode.
2.38 -#ISABELLE_INTERFACE=emacs