| changeset 53577 | d033bc00b762 |
| parent 53576 | 793a429c63e7 |
| child 53578 | 838d9e058a1a |
--- a/src/Tools/Graphview/lib/Tools/graphview Thu Sep 12 13:23:54 2013 +0200 +++ b/src/Tools/Graphview/lib/Tools/graphview Thu Sep 12 13:48:17 2013 +0200 @@ -94,10 +94,10 @@ pushd "$GRAPHVIEW_HOME" >/dev/null || failed -PURE_JAR="$ISABELLE_HOME/lib/classes/ext/Pure.jar" +PURE_JAR="$ISABELLE_HOME/lib/classes/Pure.jar" TARGET_DIR="$ISABELLE_HOME/lib/classes" -TARGET="$TARGET_DIR/ext/Graphview.jar" +TARGET="$TARGET_DIR/Graphview.jar" declare -a UPDATED=()