# HG changeset patch
# User wenzelm
# Date 1388579063 -3600
# Node ID cb9d981fa9a0d074b4506c88361859107ae647fa
# Parent  4061ec8adb1c0c90b70521c5b51097efa501525c
simplified settings for src/HOL/Tools/SMT;

diff -r 4061ec8adb1c -r cb9d981fa9a0 etc/components
--- 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
diff -r 4061ec8adb1c -r cb9d981fa9a0 src/HOL/Tools/SMT/etc/settings
--- 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"
-
diff -r 4061ec8adb1c -r cb9d981fa9a0 src/HOL/Tools/etc/settings
--- /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"
+