Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/SMT/etc/settings
author hoelzl
Thu, 17 Jan 2013 13:20:17 +0100
changeset 50941 3690724028b1
parent 41432 3214c39777ab
permissions -rw-r--r--
add countable compacteness; replace finite_range_imp_infinite_repeats by pigeonhole_infinite
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
41308
9e576ec5c0dc tuned/clarified some component settings;
wenzelm
parents: 36898
diff changeset 
     1
 
# -*- shell-script -*- :mode=shellscript:
9e576ec5c0dc tuned/clarified some component settings;
wenzelm
parents: 36898
diff changeset 
     2
 







36898






8e55aa1306c5
integrated SMT into the HOL image



boehmes


parents: 

diff
changeset




     3


ISABELLE_SMT="$COMPONENT"













8e55aa1306c5
integrated SMT into the HOL image



boehmes


parents: 

diff
changeset




     4









41432






3214c39777ab
differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3");



boehmes


parents: 
41308

diff
changeset




     5


ISABELLE_SMT_REMOTE="$ISABELLE_SMT/lib/scripts/remote_smt"













3214c39777ab
differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3");



boehmes


parents: 
41308

diff
changeset




     6


ISABELLE_SMT_REMOTE_URL="http://smt.in.tum.de/smt"








36898






8e55aa1306c5
integrated SMT into the HOL image



boehmes


parents: 

diff
changeset




     7
















isabelle