changeset 54894 | cb9d981fa9a0 |
parent 54893 | 4061ec8adb1c |
child 54895 | 515630483010 |
--- a/src/HOL/Tools/SMT/etc/settings Wed Jan 01 12:57:26 2014 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,7 +0,0 @@ -# -*- 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" -