etc/settings
changeset 15779 aed221aff642
parent 15734 56a807868e23
child 15785 ae6943098223
     1.1 --- a/etc/settings	Wed Apr 20 14:18:33 2005 +0200
     1.2 +++ b/etc/settings	Wed Apr 20 16:03:17 2005 +0200
     1.3 @@ -120,14 +120,14 @@
     1.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
     1.5  
     1.6  # Heap output location. ML system identifier is appended automatically later on.
     1.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
     1.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
     1.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    1.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    1.11 -else
    1.12 +#if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    1.13 +#  Isabelle build tells us to store heaps etc. within the distribution.
    1.14 + # ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    1.15 + # ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    1.16 +#else
    1.17    ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    1.18    ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    1.19 -fi
    1.20 +#fi
    1.21  
    1.22  # Site settings check -- just to make it a little bit harder to copy this file!
    1.23  [ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \
    1.24 @@ -181,7 +181,8 @@
    1.25  ISAMODE_OPTIONS=""
    1.26  
    1.27  # Proof General path, look in a variety of places
    1.28 -ISABELLE_INTERFACE=$(choosefrom \
    1.29 +ISABELLE_INTERFACE=$(choosefrom\
    1.30 +  "/homes/clq20/IsabelleCVS/isabelle/ProofGeneral/isar/interface"\
    1.31    "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
    1.32    "$ISABELLE_HOME/../ProofGeneral/isar/interface" \
    1.33    "/usr/share/ProofGeneral/isar/interface" \