| 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 |