Changes

Summary

1. clarified count_file;
2. clarified modules;
3. more complete coverage of sessions: process_theory operation needs to handle duplicate theories;
4. proper build_graph to make session selection work as in "isabelle build";
5. incorporate sessions with record_proofs;
6. clarified options;
7. clarified signature;
8. clarified signature;
9. clarified signature;
10. clarified signature;
11. clarified "isabelle update" options -- more like "isabelle dump";
12. clarified treatment of base logic image;
13. simplified options: always split;
14. proper guard -- avoid bad result;
15. split into standard partitions, for improved scalability;
16. clarified defaults;
17. tuned signature;
18. clarified signature: static Dump.Context vs. dynamic Dump.Session;