Changes

Summary

1. tuned output;
2. more options: client without implicit server startup;
3. console interaction with line-editor;
4. more flexible message formats;
5. clarified interrupt handling;
6. clarified signature;
7. option for console interaction;
8. more uniform Bytes.read_line/read_block operations;
9. auto update;
10. more comments;
11. more general TTY loop;
12. added Reply.NOTE for asynchronous notifications;
13. more operations;
14. more thorough init: purge inactive entries;
15. more generous timeout;
16. Entry.connection: proview password here; more robust checks;
17. clarified initial protocol;
18. ignore empty lines;
19. tuned;
20. more robust read_line after shutdown;
21. more implicit wire protocol;
22. tuned signature;
23. clarified server start, notably for invocation within regular Isabelle/Scala process;
24. tuned signature;
25. tuned signature;
26. clarified toString operations;
27. clarified socket connection;
28. server commands may access Server; Server.stop: proper shutdown; clarified signature;
29. tuned -- avoid regex matching on potentially large string; clarified message: command name could be malformed;