--- a/etc/settings Tue May 06 15:24:41 1997 +0200
+++ b/etc/settings Tue May 06 15:27:35 1997 +0200
@@ -56,16 +56,17 @@
ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
-# Heap file locations.
+# Heap file locations. ML system identifier appended automatically!
-ISABELLE_PATH=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM:$ISABELLE_HOME/heaps/$ML_SYSTEM
+ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
- ISABELLE_OUTPUT_DIR=$ISABELLE_HOME/heaps/$ML_SYSTEM
+ ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
else
- ISABELLE_OUTPUT_DIR=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM
+ ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
fi
+
DEFAULT_LOGIC=HOL