1
# -*- shell-script -*- :mode=shellscript:
2
3
GRAPHVIEW_HOME="$COMPONENT"
4
5
ISABELLE_TOOLS="$ISABELLE_TOOLS:$GRAPHVIEW_HOME/lib/Tools"
6