Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified components;
authorwenzelm
Thu, 11 Mar 2021 12:16:17 +0100
changeset 73412 83569d243671
parent 73409 fbd69f277699
child 73413 56c0a793cd8b
clarified components;
etc/components file | annotate | diff | comparison | revisions
src/HOL/Tools/ATP/etc/settings file | annotate | diff | comparison | revisions
src/HOL/Tools/etc/settings file | annotate | diff | comparison | revisions 
--- 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
--- 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"
--- 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"
isabelle