author | blanchet |
Mon, 26 Nov 2012 13:35:05 +0100 | |
changeset 50222 | 40e3c3be6bca |
parent 49565 | ea4308b7ef0f |
child 56764 | 5b6f4655e2f2 |
permissions | -rw-r--r-- |
49558 | 1 |
# -*- shell-script -*- :mode=shellscript: |
2 |
||
3 |
GRAPHVIEW_HOME="$COMPONENT" |
|
4 |
||
49565
ea4308b7ef0f
ML support for generic graph display, with browser and graphview backends (via print modes);
wenzelm
parents:
49558
diff
changeset
|
5 |
GRAPHVIEW_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss4m" |
ea4308b7ef0f
ML support for generic graph display, with browser and graphview backends (via print modes);
wenzelm
parents:
49558
diff
changeset
|
6 |
|
49558 | 7 |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$GRAPHVIEW_HOME/lib/Tools" |
8 |