# HG changeset patch
# User wenzelm
# Date 962361058 -7200
# Node ID 7bf28980c5211ee5ba5aacbd5fd15f884c080294
# Parent  0c294bd701eade8aae4d3176b16220f0001f5b40
fixed ISABELLE_BROWSER_INFO;

diff -r 0c294bd701ea -r 7bf28980c521 lib/Tools/browser
--- a/lib/Tools/browser	Fri Jun 30 10:59:50 2000 +0200
+++ b/lib/Tools/browser	Fri Jun 30 12:30:58 2000 +0200
@@ -49,7 +49,7 @@
 ## main
 
 export CLASSPATH=$ISABELLE_HOME/lib/browser
-[ -z "$GRAPHFILE" ] && cd $ISABELLE_BROWSER_INFO/graph/data
+[ -z "$GRAPHFILE" ] && cd $ISABELLE_BROWSER_INFO
 
 java GraphBrowser.GraphBrowser $GRAPHFILE
 [ -n "$GRAPHFILE" -a -n "$DELETE" ] && rm -f "$GRAPHFILE"