--- a/etc/settings Wed Apr 16 18:53:36 1997 +0200
+++ b/etc/settings Thu Apr 17 10:30:57 1997 +0200
@@ -46,7 +46,7 @@
###
-### Misc path settings etc.
+### Misc path settings
###
# The place for user configuration, heap files, etc.
@@ -56,15 +56,14 @@
ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
-# Heap file input and output locations. Note that ML system and
-# platform info is appended automatically.
+# Heap file locations.
-ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
+ISABELLE_PATH=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM:$ISABELLE_HOME/heaps/$ML_SYSTEM
if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
- ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
+ ISABELLE_OUTPUT_DIR=$ISABELLE_HOME/heaps/$ML_SYSTEM
else
- ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
+ ISABELLE_OUTPUT_DIR=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM
fi
DEFAULT_LOGIC=HOL
@@ -95,3 +94,8 @@
# Simple xterm based interface.
ISABELLE_INTERFACE=xterm
ISABELLE_INTERFACE_OPTIONS=""
+
+# GNU Emacs running Isamode.
+#ISABELLE_INTERFACE=emacs
+#ISABELLE_INTERFACE_OPTIONS=""
+#ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode