| changeset 57032 | cf570f3ecdc1 |
| parent 57031 | 30ee1453a954 |
| child 57033 | b24e2b83917f |
--- a/src/Tools/Graphview/etc/settings Wed May 21 10:13:12 2014 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,10 +0,0 @@ -# -*- shell-script -*- :mode=shellscript: - -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" -