changeset 14546 | 8c846773878a |
parent 13974 | 9a4cb68e3315 |
child 14981 | e73f8140af78 |
--- a/lib/Tools/browser Tue Apr 13 00:43:23 2004 +0200 +++ b/lib/Tools/browser Tue Apr 13 06:11:10 2004 +0200 @@ -62,7 +62,7 @@ ## main -export CLASSPATH="$ISABELLE_HOME/lib/browser" +export CLASSPATH="$ISABELLE_HOME/lib/browser/GraphBrowser.jar" if [ -z "$GRAPHFILE" ]; then cd "$ISABELLE_BROWSER_INFO" exec java GraphBrowser.GraphBrowser