Changes

Summary

1. clarified signature: more "object-oriented" style;
2. more flexible Build.Engine.process_options: e.g. to manipulate "process_policy" for ML process;
3. clarified signature: delegate policies to Build_Cluster implementation, potentially provided by Build.Engine via Build_Process.open_build_cluster;
4. tuned signature;
5. tuned signature; more operations;
6. clarified option (see also b66b6cc1eb8c);
7. more build_cluster management: open SSH connections in parallel, but synchronously;
8. tuned signature: more options;
9. clarified signature: more operations;
10. tuned signature;
11. more accurate print vs. parse;
12. clarified signature; tuned output;
13. clarified signature (again); more explicit "local" name;
14. tuned output;
15. tuned output;
16. clarified modules;
17. more pro-forma support for afp_root;
18. tuned NEWS: emphasize "isabelle build" add-ons;
19. added option -A for AFP root, following "isabelle sync";
20. clarified signature: more operations;
21. tuned signature;
22. clarified file location: to be used by regular Isabelle/Scala tools;
23. update headers;
24. more pro-forma support for Build_Cluster;
25. tuned;
26. tuned;
27. clarified options;
28. clarified options;
29. proper Build_Cluster.Host.parse for parameters and system options; clarified Build_Cluster.Host: empty "host" means local;
30. more operations for independent "inline" options;
31. clarified options: accommodate potentially slow database connection;
32. minor performance tuning;
33. add option "build_context" in anticipation of AFP entries that require special tricks in Isabelle/ML (NB: system component settings are unavailable in AFP);
34. proper build_options (amending 822ddccda899);
35. clarified options;
36. proforma support for remote build hosts;