changeset 66820 | fc516da7ee4f |
parent 66790 | c0e68e6a1beb |
child 66959 | 015d47486fc8 |
66819:064c80e9d1cf | 66820:fc516da7ee4f |
---|---|
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 Admin/afp.scala |
|
12 Admin/build_cygwin.scala |
13 Admin/build_cygwin.scala |
13 Admin/build_doc.scala |
14 Admin/build_doc.scala |
14 Admin/build_history.scala |
15 Admin/build_history.scala |
15 Admin/build_jdk.scala |
16 Admin/build_jdk.scala |
16 Admin/build_log.scala |
17 Admin/build_log.scala |