| Sun, 29 Nov 2020 14:27:15 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Sun, 29 Mar 2020 21:32:20 +0200 | wenzelm | tuned signature -- follow Scala; | file | diff | annotate |
| Sun, 29 Mar 2020 13:25:59 +0200 | wenzelm | clarified protocol messages: explicitly use physical_writeln, always encode_lines; | file | diff | annotate |
| Sat, 19 Oct 2019 11:33:36 +0200 | wenzelm | proper protocol_message for bootstrap proofs; | file | diff | annotate |
| Mon, 16 Mar 2015 11:30:54 +0100 | wenzelm | tuned protocol -- resolve command positions in ML; | file | diff | annotate |