1.1 --- a/lib/Tools/browser	Tue Apr 13 00:43:23 2004 +0200
     1.2 +++ b/lib/Tools/browser	Tue Apr 13 06:11:10 2004 +0200
     1.3 @@ -62,7 +62,7 @@
     1.4  
     1.5  ## main
     1.6  
     1.7 -export CLASSPATH="$ISABELLE_HOME/lib/browser"
     1.8 +export CLASSPATH="$ISABELLE_HOME/lib/browser/GraphBrowser.jar"
     1.9  if [ -z "$GRAPHFILE" ]; then
    1.10    cd "$ISABELLE_BROWSER_INFO"
    1.11    exec java GraphBrowser.GraphBrowser