| Sat, 14 Oct 2023 15:16:40 +0200 | wenzelm | updated Linux baseline to Ubuntu 18.04; | changeset | files |
| Sat, 14 Oct 2023 15:09:20 +0200 | wenzelm | support for macOS 14 Sonoma (only for testing); | changeset | files |
| Sat, 14 Oct 2023 14:38:40 +0200 | wenzelm | more platform tests: initial support for macOS 14 Sonoma; | changeset | files |
| Sat, 14 Oct 2023 14:27:54 +0200 | wenzelm | updated to gmp-6.3.0, for the sake of macOS 14 Sonoma; | changeset | files |
| Thu, 12 Oct 2023 21:13:22 +0200 | wenzelm | merged | changeset | files |
| Thu, 12 Oct 2023 21:11:59 +0200 | wenzelm | prefer Exn.result: avoid accidental capture of interrupts, similar to ML; | changeset | files |
| Thu, 12 Oct 2023 20:58:15 +0200 | wenzelm | clarified user errors vs. failures, e.g. java.lang.StackOverflowError; | changeset | files |
| Thu, 12 Oct 2023 14:59:59 +0200 | wenzelm | further clarification of Exn.is_interrupt_proper vs. overall Exn.is_interrupt; | changeset | files |