Sun, 07 Feb 2021 16:31:43 +0100 | wenzelm | support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2; | changeset | files |
Sun, 07 Feb 2021 15:32:57 +0100 | wenzelm | clarified modules: less redundancy; | changeset | files |
Sun, 07 Feb 2021 12:55:41 +0100 | wenzelm | clarified modules: allow early invocation of Scala functions; | changeset | files |