| 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 |
| Sat, 16 Jan 2021 22:52:43 +0100 | wenzelm | updated to scala-2.13.4; | file | diff | annotate |
| Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |