# 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"