clarified names;
removed remains of old protocol messages;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEc998827f1df9: more thorough protocol_handlers.exit, like file_formats.stop_session;
- Branches
- Unknown
- Tags