changeset 14546 | 8c846773878a |
parent 13974 | 9a4cb68e3315 |
child 14981 | e73f8140af78 |
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