simplified settings for src/HOL/Tools/SMT;
authorwenzelm
Wed Jan 01 13:24:23 2014 +0100 (2014-01-01)
changeset 54894cb9d981fa9a0
parent 54893 4061ec8adb1c
child 54895 515630483010
simplified settings for src/HOL/Tools/SMT;
etc/components
src/HOL/Tools/SMT/etc/settings
src/HOL/Tools/etc/settings
     1.1 --- a/etc/components	Wed Jan 01 12:57:26 2014 +0100
     1.2 +++ b/etc/components	Wed Jan 01 13:24:23 2014 +0100
     1.3 @@ -8,5 +8,4 @@
     1.4  src/HOL/Tools
     1.5  src/HOL/Tools/ATP
     1.6  src/HOL/Tools/Sledgehammer/MaSh
     1.7 -src/HOL/Tools/SMT
     1.8  src/HOL/TPTP
     2.1 --- a/src/HOL/Tools/SMT/etc/settings	Wed Jan 01 12:57:26 2014 +0100
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,7 +0,0 @@
     2.4 -# -*- shell-script -*- :mode=shellscript:
     2.5 -
     2.6 -ISABELLE_SMT="$COMPONENT"
     2.7 -
     2.8 -ISABELLE_SMT_REMOTE="$ISABELLE_SMT/lib/scripts/remote_smt"
     2.9 -ISABELLE_SMT_REMOTE_URL="http://smt.in.tum.de/smt"
    2.10 -
     3.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.2 +++ b/src/HOL/Tools/etc/settings	Wed Jan 01 13:24:23 2014 +0100
     3.3 @@ -0,0 +1,5 @@
     3.4 +# -*- shell-script -*- :mode=shellscript:
     3.5 +
     3.6 +ISABELLE_SMT_REMOTE="$ISABELLE_HOME/src/HOL/Tools/SMT/lib/scripts/remote_smt"
     3.7 +ISABELLE_SMT_REMOTE_URL="http://smt.in.tum.de/smt"
     3.8 +