# -*- 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"