| changeset 33013 | 5c29cc66a029 |
| parent 33010 | 39f73a59e855 |
| child 33610 | 43bf5773f92a |
--- a/src/HOL/SMT/etc/settings Tue Oct 20 11:08:50 2009 +0200 +++ b/src/HOL/SMT/etc/settings Tue Oct 20 11:36:19 2009 +0200 @@ -1,10 +1,10 @@ ISABELLE_SMT="$COMPONENT" -REMOTE_SMT_SOLVER="$COMPONENT/lib/scripts/remote_smt.pl" +REMOTE_SMT_SOLVER="$ISABELLE_SMT/lib/scripts/remote_smt.pl" REMOTE_SMT_URL="http://www4.in.tum.de/smt/smt" -CERT_SMT_SOLVER="$COMPONENT/lib/scripts/cert_smt.pl" +CERT_SMT_SOLVER="$ISABELLE_SMT/lib/scripts/cert_smt.pl" # # Paths to local SMT solvers: