# HG changeset patch
# User wenzelm
# Date 1615461377 -3600
# Node ID 83569d2436714e4e9a82e40bf679c46d6cb9a83b
# Parent  fbd69f27769990eab503bb51792b4a501f119f81
clarified components;

diff -r fbd69f277699 -r 83569d243671 etc/components
--- a/etc/components	Thu Mar 11 11:22:25 2021 +0100
+++ b/etc/components	Thu Mar 11 12:16:17 2021 +0100
@@ -7,5 +7,4 @@
 src/HOL/Library/Sum_of_Squares
 src/HOL/SPARK
 src/HOL/Tools
-src/HOL/Tools/ATP
 src/HOL/TPTP
diff -r fbd69f277699 -r 83569d243671 src/HOL/Tools/ATP/etc/settings
--- a/src/HOL/Tools/ATP/etc/settings	Thu Mar 11 11:22:25 2021 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,3 +0,0 @@
-# -*- shell-script -*- :mode=shellscript:
-
-ISABELLE_ATP="$COMPONENT"
diff -r fbd69f277699 -r 83569d243671 src/HOL/Tools/etc/settings
--- a/src/HOL/Tools/etc/settings	Thu Mar 11 11:22:25 2021 +0100
+++ b/src/HOL/Tools/etc/settings	Thu Mar 11 12:16:17 2021 +0100
@@ -2,3 +2,5 @@
 
 isabelle_scala_service 'isabelle.nitpick.Kodkod$Handler'
 isabelle_scala_service 'isabelle.nitpick.Scala_Functions'
+
+ISABELLE_ATP="$COMPONENT/ATP"