| Thu, 04 Mar 2021 21:04:27 +0100 | wenzelm | clarified signature --- fewer warnings; | file | diff | annotate |
| Wed, 03 Mar 2021 22:28:03 +0100 | wenzelm | more robust error; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Sat, 27 Feb 2021 22:17:56 +0100 | wenzelm | more Isabelle/ML/Scala operations; | file | diff | annotate |
| Sat, 27 Feb 2021 21:36:58 +0100 | wenzelm | more Isabelle/ML/Scala operations; | file | diff | annotate |
| Sat, 27 Feb 2021 21:01:07 +0100 | wenzelm | more Isabelle/ML/Scala operations; | file | diff | annotate |
| Sat, 27 Feb 2021 17:25:54 +0100 | wenzelm | more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552); | file | diff | annotate |
| 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; | file | diff | annotate |