1.1 --- a/etc/settings	Thu Aug 07 23:35:32 1997 +0200
     1.2 +++ b/etc/settings	Thu Aug 07 23:37:53 1997 +0200
     1.3 @@ -58,8 +58,10 @@
     1.4  #A hack! 'build' tells us store heaps within the distribution.
     1.5  if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
     1.6    ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
     1.7 +  ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info
     1.8  else
     1.9    ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    1.10 +  ISABELLE_BROWSER_INFO=$ISABELLE_HOME_USER/browser_info
    1.11  fi
    1.12  
    1.13  #Users may want to change this.