src/Tools/Graphview/etc/settings
changeset 57032 cf570f3ecdc1
parent 57031 30ee1453a954
child 57033 b24e2b83917f
     1.1 --- a/src/Tools/Graphview/etc/settings	Wed May 21 10:13:12 2014 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,10 +0,0 @@
     1.4 -# -*- shell-script -*- :mode=shellscript:
     1.5 -
     1.6 -GRAPHVIEW_HOME="$COMPONENT"
     1.7 -
     1.8 -GRAPHVIEW_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss4m"
     1.9 -GRAPHVIEW_JAR="$ISABELLE_HOME/lib/classes/Graphview.jar"
    1.10 -classpath "$GRAPHVIEW_JAR"
    1.11 -
    1.12 -ISABELLE_TOOLS="$ISABELLE_TOOLS:$GRAPHVIEW_HOME/lib/Tools"
    1.13 -