etc/settings
changeset 3637 02ba2acc69c3
parent 3596 c44c83006891
child 3689 73378599a65b
equal deleted inserted replaced
3636:3f2e55e5bacc 3637:02ba2acc69c3
    56 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    56 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    57 
    57 
    58 #A hack! 'build' tells us store heaps within the distribution.
    58 #A hack! 'build' tells us store heaps within the distribution.
    59 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    59 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    60   ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
    60   ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
       
    61   ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info
    61 else
    62 else
    62   ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    63   ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
       
    64   ISABELLE_BROWSER_INFO=$ISABELLE_HOME_USER/browser_info
    63 fi
    65 fi
    64 
    66 
    65 #Users may want to change this.
    67 #Users may want to change this.
    66 ISABELLE_LOGIC=HOL
    68 ISABELLE_LOGIC=HOL
    67 
    69