| Sun, 03 Mar 2024 12:00:44 +0100 | wenzelm | proper platform_name/platform_dir for native arm64-darwin: already published in 788f11af9822 after manual adjustment; | file | diff | annotate |
| Fri, 01 Mar 2024 20:31:23 +0100 | wenzelm | provide e-3.0.03 on all platforms, including arm64-linux and arm64-darwin --- still inactive; | file | diff | annotate |
| Fri, 16 Feb 2024 11:25:11 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Tue, 07 Mar 2023 22:54:44 +0100 | wenzelm | renamed administrative tools to build Isabelle components (unrelated to "isabelle build"); | file | diff | annotate | base |