Changes

Summary

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