simplified settings for src/HOL/Tools/SMT;
authorwenzelm
Wed, 01 Jan 2014 13:24:23 +0100
changeset 54894 cb9d981fa9a0
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
--- a/etc/components	Wed Jan 01 12:57:26 2014 +0100
+++ b/etc/components	Wed Jan 01 13:24:23 2014 +0100
@@ -8,5 +8,4 @@
 src/HOL/Tools
 src/HOL/Tools/ATP
 src/HOL/Tools/Sledgehammer/MaSh
-src/HOL/Tools/SMT
 src/HOL/TPTP
--- a/src/HOL/Tools/SMT/etc/settings	Wed Jan 01 12:57:26 2014 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-# -*- shell-script -*- :mode=shellscript:
-
-ISABELLE_SMT="$COMPONENT"
-
-ISABELLE_SMT_REMOTE="$ISABELLE_SMT/lib/scripts/remote_smt"
-ISABELLE_SMT_REMOTE_URL="http://smt.in.tum.de/smt"
-
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Tools/etc/settings	Wed Jan 01 13:24:23 2014 +0100
@@ -0,0 +1,5 @@
+# -*- shell-script -*- :mode=shellscript:
+
+ISABELLE_SMT_REMOTE="$ISABELLE_HOME/src/HOL/Tools/SMT/lib/scripts/remote_smt"
+ISABELLE_SMT_REMOTE_URL="http://smt.in.tum.de/smt"
+