equal
deleted
inserted
replaced
7 # Requires proper Isabelle settings environment. |
7 # Requires proper Isabelle settings environment. |
8 |
8 |
9 ## sources |
9 ## sources |
10 |
10 |
11 declare -a SOURCES=( |
11 declare -a SOURCES=( |
|
12 src/HOL/SPARK/Tools/spark.scala |
12 src/HOL/Tools/Nitpick/kodkod.scala |
13 src/HOL/Tools/Nitpick/kodkod.scala |
13 src/Pure/Admin/afp.scala |
14 src/Pure/Admin/afp.scala |
14 src/Pure/Admin/build_csdp.scala |
15 src/Pure/Admin/build_csdp.scala |
15 src/Pure/Admin/build_cygwin.scala |
16 src/Pure/Admin/build_cygwin.scala |
16 src/Pure/Admin/build_doc.scala |
17 src/Pure/Admin/build_doc.scala |