| Tue, 07 Mar 2023 22:28:48 +0100 | wenzelm | renamed "isabelle build_components" to "isabelle components_build" (unrelated to "isabelle build"); | changeset | files |
| Tue, 07 Mar 2023 22:21:48 +0100 | wenzelm | sort lines; | changeset | files |
| Tue, 07 Mar 2023 22:17:47 +0100 | wenzelm | renamed "isabelle log" to "isabelle build_log"; | changeset | files |