| Sun, 14 Jul 2024 16:17:31 +0200 | wenzelm | clarified signature, following Isabelle/Scala; | file | diff | annotate |
| Sat, 17 Sep 2022 16:50:39 +0200 | wenzelm | proper file headers; | file | diff | annotate |
| Fri, 24 Jun 2022 23:31:28 +0200 | wenzelm | clarified modules; | 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 |
| Tue, 21 Jun 2022 14:51:17 +0200 | wenzelm | tuned signature: more operations; | file | diff | annotate |
| Tue, 21 Jun 2022 14:22:34 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 11 Apr 2021 22:47:55 +0200 | wenzelm | more uniform use of Byte_Message; | file | diff | annotate |
| Sun, 11 Apr 2021 21:32:09 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 02 Nov 2019 12:32:38 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 Feb 2019 21:16:17 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 13 Dec 2018 21:36:09 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 12 Dec 2018 17:34:29 +0100 | wenzelm | more uniform multi-language operations; | file | diff | annotate |
| Wed, 12 Dec 2018 12:31:05 +0100 | wenzelm | more uniform multi-language operations; | file | diff | annotate |
| Wed, 12 Dec 2018 00:01:11 +0100 | wenzelm | more uniform multi-language operations; | file | diff | annotate |
| Tue, 11 Dec 2018 21:23:02 +0100 | wenzelm | more uniform multi-language operations; | file | diff | annotate |
| Tue, 11 Dec 2018 19:25:35 +0100 | wenzelm | more uniform multi-language operations; | file | diff | annotate |