1.1 --- a/src/Pure/build-jars	Fri Mar 12 13:25:51 2021 +0100
     1.2 +++ b/src/Pure/build-jars	Fri Mar 12 15:22:39 2021 +0100
     1.3 @@ -10,6 +10,7 @@
     1.4  
     1.5  declare -a SOURCES=(
     1.6    src/HOL/SPARK/Tools/spark.scala
     1.7 +  src/Tools/isac/etc/isac.scala
     1.8    src/HOL/Tools/Nitpick/kodkod.scala
     1.9    src/Pure/Admin/afp.scala
    1.10    src/Pure/Admin/build_csdp.scala