| Sun, 29 Mar 2020 21:57:40 +0200 | wenzelm | clarified signature: more explicit type Protocol_Message.Marker; | file | diff | annotate |
| Sun, 29 Mar 2020 19:42:59 +0200 | wenzelm | more explicit type Protocol_Message.Marker; | file | diff | annotate |
| Mon, 16 Mar 2015 11:07:56 +0100 | wenzelm | clarified modules; | file | diff | annotate |