| 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 |