Changes

Summary

1. Simpler proof
2. more robust: support other_isabelle.init_settings for build_history before b93404a4c3dd;
3. more robust: defer error in sessions structure to build process;
4. merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;
5. Added tag Isabelle2021-RC3 for changeset 02422c9add5e
6. provide naproche-20210124 (inactive);
7. follow stackage update;
8. tuned name, e.g. relevant for Naproche-SAD debugging in Isabelle/jEdit;
9. more operations for client connection;
10. fewer warnings, notably in Naproche-SAD;
11. suppress bundled Naproche-SAD component: it is in conflict with building the same from sources;
12. more robust etc/settings;
13. IDE support for Naproche-SAD;
14. proper path;
15. support isabelle components -u and -x;
16. proper typescript version, required for "vsce package";
17. auto-update;
18. auto-update;
19. proper type constraint;
20. VSCode extension for official Isabelle release;
21. proper message;
22. unused;
23. proper heap_free;
24. suppress markup for literal tokens with block control symbols, for better PIDE/HTML output (see also d15fe10593ff);
25. clarified documentation concerning macOS Big Sur;
26. more systematic java-gui-setup, also for "isabelle jedit" command-line tool;
27. updated to flatlaf-1.0-rc1;
28. tuned;
29. tuned proofs;
30. tuned;
31. obsolete;
32. clarified platforms;
33. more NEWS;
34. workaround for Big Sur fullscreen mode: better support for JDialog windows (e.g. Find on top of main View);
35. clarified app identification, potentially relevant for macOS "defaults";
36. updated documentation: HIDPI works smoothly thanks to FlatLaf;
37. updated for release;
38. updated screenshot;
39. clarified reports before errors: support completion of bibtex entries in Isabelle/Scala (amending d01ea9e3bd2d);
40. tuned;
41. proper theory_long_name;
42. updated screenshots;
43. more robust GUI, notably for Big Sur full-screen where the hypersearch panel becomes a separate maximized window;
44. revert 1105c42722dc on isabelle-release branch;

Summary

1. Merge
2. Small update to Optics document.
3. merged
4. more generous timeout (25min CPU time);
5. non-executable files;
6. Added metadata for previous commit (Optics).
7. Addition of theorems throughout, particularly for prisms. New "chantype" command allows the definition of an algebraic datatype with generated prisms. New "dataspace" command allows the definition of a local-based state space, including lenses and prisms. Addition of various examples.
8. adjustments for Word_Lib updates
9. sync with l4v
10. allow instance for nat (by Florian)
11. merge from afp-2020
12. New entry JinjaDCI