| Fri, 15 Nov 2013 19:31:10 +0100 | wenzelm | more specific Protocol_Output: empty message.body, main content via bytes/text; | file | diff | annotate |
| Sat, 17 Aug 2013 22:15:45 +0200 | wenzelm | some protocol to determine provers according to ML; | file | diff | annotate |