| Sat, 14 Oct 2023 20:10:08 +0200 | wenzelm | proper options for macOS 11 Big Sur; | file | diff | annotate |
| Sat, 14 Oct 2023 15:26:39 +0200 | wenzelm | support for official release of polyml-5.9.1; | file | diff | annotate |
| Sat, 14 Oct 2023 15:09:20 +0200 | wenzelm | support for macOS 14 Sonoma (only for testing); | file | diff | annotate |
| Sat, 14 Oct 2023 14:27:54 +0200 | wenzelm | updated to gmp-6.3.0, for the sake of macOS 14 Sonoma; | file | diff | annotate |
| Sun, 06 Aug 2023 23:44:50 +0200 | wenzelm | update to polyml-219e0a248f70, with more robust support for ARM64; | file | diff | annotate |
| Sun, 06 Aug 2023 22:40:12 +0200 | wenzelm | tuned generated README; | 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 |