| Wed, 11 Oct 2023 11:27:01 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 28 Sep 2023 14:43:07 +0200 | wenzelm | clarified treatment of exceptions: avoid catch-all handlers; | file | diff | annotate |
| Tue, 21 Jun 2022 22:17:11 +0200 | wenzelm | more scalable byte messages, notably for Scala functions in ML; | file | diff | annotate |
| Sun, 07 Feb 2021 12:30:52 +0100 | wenzelm | clarified modules: allow early definition of protocol commands; | file | diff | annotate |