HomeIsabelle/Phabricator

clarified protocol messages: explicitly use physical_writeln, always…

Description

clarified protocol messages: explicitly use physical_writeln, always encode_lines;

Details

Provenance
makariusAuthored on
Parents
rISABELLE1b8861bcb03c: tuned;
Branches
Unknown
Tags
Unknown