# HG changeset patch
# User berghofe
# Date 870989873 -7200
# Node ID 02ba2acc69c38651c1a5fea9258a66dd78ae21f2
# Parent  3f2e55e5bacc1e2824ead9d05e2f563fc7fa1d43
Added new environment variable ISABELLE_BROWSER_INFO.

diff -r 3f2e55e5bacc -r 02ba2acc69c3 etc/settings
--- a/etc/settings	Thu Aug 07 23:35:32 1997 +0200
+++ b/etc/settings	Thu Aug 07 23:37:53 1997 +0200
@@ -58,8 +58,10 @@
 #A hack! 'build' tells us store heaps within the distribution.
 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
   ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
+  ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info
 else
   ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
+  ISABELLE_BROWSER_INFO=$ISABELLE_HOME_USER/browser_info
 fi
 
 #Users may want to change this.