Mercurial Mercurial > repos > isabelle / comparison
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
changeset 41308 9e576ec5c0dc
parent 36898 8e55aa1306c5
child 41432 3214c39777ab
equal deleted inserted replaced
41307:bb8468ae414e 41308:9e576ec5c0dc 
       
     1 # -*- shell-script -*- :mode=shellscript:
 
       
     2 
     1 ISABELLE_SMT="$COMPONENT"
 
     3 ISABELLE_SMT="$COMPONENT"
 
     2 
     4 
     3 REMOTE_SMT="$ISABELLE_SMT/lib/scripts/remote_smt"
 
     5 REMOTE_SMT="$ISABELLE_SMT/lib/scripts/remote_smt"
 
     4 
     6 
     5 REMOTE_SMT_URL="http://smt.in.tum.de/smt"
 
     7 REMOTE_SMT_URL="http://smt.in.tum.de/smt"
isabelle