Changes

Summary

1. merged
2. Slight tidying of legacy proofs
3. merged
4. update naproche component;
5. Added tag Isabelle2022-RC4 for changeset 8b4108f41c77
6. rebuild with proper Isabelle version;
7. removed junk;
8. more robust, e.g. for "isabelle dump";
9. more robust, e.g. for "isabelle dump";
10. more robust, e.g. for "isabelle dump";
11. allow spaces in SCALA_HOME directory name;
12. avoid spurious error messages, e.g. when scala is missing;
13. more NEWS;
14. tuned, following hints by IntelliJ IDEA;
15. avoid result based on outdated state, e.g. relevant for use_theories with changed files;
16. tuned signature;
17. tuned signature, following hints by IntelliJ IDEA;
18. more robust treatment of state and events;
19. tuned signature;
20. proper result state (amending 954640e846d6);
21. tuned;
22. tuned signature;
23. tuned;
24. tuned signature;
25. tuned: clarified old_theory (in contrast to 4d5342898b1);
26. tuned signature;
27. more robust: active consumer for check_state/check_progress;
28. proper update of non-committed theories (see also 2bf1d0e57695, 2a1583baaaa0);
29. tuned;
30. tuned;
31. proper Symbol.encode (following fd1efd6dd385), e.g. relevant for 'ML_file' with symbols like \<^here>;
32. merged
33. added lemma fmember_iff_member_fset