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/etc/settings
author blanchet
Fri, 10 Jan 2014 16:18:18 +0100
changeset 54979 d7593bfccf25
parent 54894 cb9d981fa9a0
permissions -rw-r--r--
correctly extract code RHS, with loose bound variables
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
 







54894






cb9d981fa9a0
simplified settings for src/HOL/Tools/SMT;



wenzelm


parents: 
41432

diff
changeset




     3


ISABELLE_SMT_REMOTE="$ISABELLE_HOME/src/HOL/Tools/SMT/lib/scripts/remote_smt"








41432






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



boehmes


parents: 
41308

diff
changeset




     4


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








36898






8e55aa1306c5
integrated SMT into the HOL image



boehmes


parents: 

diff
changeset




     5
















isabelle