# HG changeset patch
# User wenzelm
# Date 1398619975 -7200
# Node ID 5b6f4655e2f2872a7e0debffbaba8eaf9ecd84c6
# Parent  70371621fdb6ec4c402086ea9a079a8dc970edcd
modernized Isabelle classpath for graphview;

diff -r 70371621fdb6 -r 5b6f4655e2f2 src/Tools/Graphview/etc/settings
--- a/src/Tools/Graphview/etc/settings	Sun Apr 27 13:35:18 2014 +0200
+++ b/src/Tools/Graphview/etc/settings	Sun Apr 27 19:32:55 2014 +0200
@@ -3,6 +3,8 @@
 GRAPHVIEW_HOME="$COMPONENT"
 
 GRAPHVIEW_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss4m"
+GRAPHVIEW_JAR="$ISABELLE_HOME/lib/classes/Graphview.jar"
+classpath "$GRAPHVIEW_JAR"
 
 ISABELLE_TOOLS="$ISABELLE_TOOLS:$GRAPHVIEW_HOME/lib/Tools"
 
diff -r 70371621fdb6 -r 5b6f4655e2f2 src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Sun Apr 27 13:35:18 2014 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sun Apr 27 19:32:55 2014 +0200
@@ -202,7 +202,6 @@
 fi
 
 PURE_JAR="$ISABELLE_HOME/lib/classes/Pure.jar"
-GRAPHVIEW_JAR="$ISABELLE_HOME/lib/classes/Graphview.jar"
 
 pushd "$JEDIT_HOME" >/dev/null || failed