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

ISABELLE_SMT="$COMPONENT"

ISABELLE_SMT_REMOTE="$ISABELLE_SMT/lib/scripts/remote_smt"
ISABELLE_SMT_REMOTE_URL="http://smt.in.tum.de/smt"

