Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added new environment variable ISABELLE_BROWSER_INFO.
authorberghofe
Thu, 07 Aug 1997 23:37:53 +0200
changeset 3637 02ba2acc69c3
parent 3636 3f2e55e5bacc
child 3638 2b67561c6488
Added new environment variable ISABELLE_BROWSER_INFO.
etc/settings file | annotate | diff | comparison | revisions 
--- 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.
isabelle