# -*- shell-script -*- :mode=shellscript:

ISABELLE_JEDIT_OPTIONS=""
ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
