Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
modernized Isabelle classpath for graphview;
authorwenzelm
Sun, 27 Apr 2014 19:32:55 +0200
changeset 56764 5b6f4655e2f2
parent 56763 70371621fdb6
child 56765 644f0d4820a1
modernized Isabelle classpath for graphview;
src/Tools/Graphview/etc/settings file | annotate | diff | comparison | revisions
src/Tools/jEdit/lib/Tools/jedit file | annotate | diff | comparison | revisions 
--- 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"
 
--- 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
isabelle