| Fri, 21 Jul 2023 11:05:50 +0200 | wenzelm | tuned output; | changeset | files |
| Fri, 21 Jul 2023 10:56:11 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 20 Jul 2023 12:55:47 +0200 | wenzelm | more pro-forma support for afp_root; | changeset | files |
| Thu, 20 Jul 2023 12:44:46 +0200 | wenzelm | tuned NEWS: emphasize "isabelle build" add-ons; | changeset | files |
| Thu, 20 Jul 2023 12:42:23 +0200 | wenzelm | added option -A for AFP root, following "isabelle sync"; | changeset | files |
| Thu, 20 Jul 2023 12:38:00 +0200 | wenzelm | clarified signature: more operations; | changeset | files |
| Thu, 20 Jul 2023 12:29:57 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 20 Jul 2023 12:11:34 +0200 | wenzelm | clarified file location: to be used by regular Isabelle/Scala tools; | changeset | files |
| Thu, 20 Jul 2023 12:10:54 +0200 | wenzelm | update headers; | changeset | files |
| Thu, 20 Jul 2023 12:02:52 +0200 | wenzelm | more pro-forma support for Build_Cluster; | changeset | files |
| Thu, 20 Jul 2023 11:10:28 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 19 Jul 2023 16:56:24 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 19 Jul 2023 16:48:22 +0200 | wenzelm | clarified options; | changeset | files |
| Wed, 19 Jul 2023 16:04:59 +0200 | wenzelm | clarified options; | changeset | files |
| Wed, 19 Jul 2023 15:56:32 +0200 | wenzelm | proper Build_Cluster.Host.parse for parameters and system options; | changeset | files |