Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
slightly less context-sensitive settings;
authorwenzelm
Tue, 20 Oct 2009 11:36:19 +0200
changeset 33013 5c29cc66a029
parent 33012 85cd3e4bbd5c
child 33014 85d7a096e63f
slightly less context-sensitive settings;
src/HOL/SMT/etc/settings file | annotate | diff | comparison | revisions 
--- 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:
isabelle