| Sat, 02 Nov 2019 12:02:27 +0100 | wenzelm | more scalable protocol_message: use XML.body directly (Output.output hook is not required); | file | diff | annotate |
| Thu, 22 Jun 2017 14:27:13 +0200 | wenzelm | more informative task_statistics; | file | diff | annotate |
| Thu, 03 Mar 2016 15:23:02 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 31 Mar 2014 10:28:08 +0200 | wenzelm | support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject; | file | diff | annotate |
| Fri, 05 Jul 2013 23:10:18 +0200 | wenzelm | more uniform Counter in ML and Scala; | file | diff | annotate |
| Wed, 22 May 2013 14:10:45 +0200 | wenzelm | explicit management of Session.Protocol_Handlers, with protocol state and functions; | file | diff | annotate |
| Wed, 02 Jan 2013 13:20:10 +0100 | wenzelm | removed outdated comment; | file | diff | annotate |