Changes

Summary

1. more thorough jEdit.propertiesChanged(), which includes KeymapManager.reload() and jEdit.initKeyBindings();
2. avoid conflict with Isabelle/jEdit completion of '>', e.g. "-->", "==>";
3. trim context of persistent data;
4. trim context of persistent data;
5. trim context of persistent data;
6. clarified apply_transaction: always continue without presentation context;
7. more tight presentation context: avoid storing full Toplevel.state;
8. tuned;
9. more informative theories_trace;
10. merged
11. tuned signature (again);
12. trim context of persistent data;
13. trim context of persistent data;
14. proper file name;
15. trim context of persistent data; tuned signature;
16. clarified data operations, with trim_context and transfer;
17. tuned;
18. trim context of persistent data; tuned;
19. trim context of persistent data;
20. removed unused material;
21. trim context of persistent data;
22. trim context of persistent data; no need to trim context for del operations;
23. tuned;
24. tuned whitespace;
25. more operations;
26. optional trace of created theory values;
27. more operations;
28. auxiliary operation for space profiling;