etc/settings
changeset 3118 24dae6222579
parent 3062 be354f68d340
child 3158 2bd87b6682bf
     1.1 --- a/etc/settings	Tue May 06 15:24:41 1997 +0200
     1.2 +++ b/etc/settings	Tue May 06 15:27:35 1997 +0200
     1.3 @@ -56,16 +56,17 @@
     1.4  ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
     1.5  
     1.6  
     1.7 -# Heap file locations.
     1.8 +# Heap file locations. ML system identifier appended automatically!
     1.9  
    1.10 -ISABELLE_PATH=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM:$ISABELLE_HOME/heaps/$ML_SYSTEM
    1.11 +ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    1.12  
    1.13  if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    1.14 -  ISABELLE_OUTPUT_DIR=$ISABELLE_HOME/heaps/$ML_SYSTEM
    1.15 +  ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
    1.16  else
    1.17 -  ISABELLE_OUTPUT_DIR=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM
    1.18 +  ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    1.19  fi
    1.20  
    1.21 +
    1.22  DEFAULT_LOGIC=HOL
    1.23  
    1.24