| Tue, 07 Mar 2023 23:26:02 +0100 | wenzelm | proper file-name (amending b975f5aaf6b8); | changeset | files |
| Tue, 07 Mar 2023 23:24:40 +0100 | wenzelm | tuned headers; | changeset | files |
| Tue, 07 Mar 2023 23:09:30 +0100 | wenzelm | eliminated suspicious Unicode characters; | changeset | files |
| Tue, 07 Mar 2023 23:08:14 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 07 Mar 2023 23:02:52 +0100 | wenzelm | renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to "isabelle build"); | changeset | files |
| Tue, 07 Mar 2023 22:54:44 +0100 | wenzelm | renamed administrative tools to build Isabelle components (unrelated to "isabelle build"); | changeset | files |