changeset 73418 | 7d7d959547a1 |
parent 73399 | 48569c862eb8 |
child 73476 | 6b480efe1bc3 |
--- a/src/Pure/build-jars Fri Mar 12 23:00:01 2021 +0100 +++ b/src/Pure/build-jars Fri Mar 12 23:30:35 2021 +0100 @@ -10,6 +10,7 @@ declare -a SOURCES=( src/HOL/SPARK/Tools/spark.scala + src/HOL/Tools/ATP/system_on_tptp.scala src/HOL/Tools/Nitpick/kodkod.scala src/Pure/Admin/afp.scala src/Pure/Admin/build_csdp.scala