Changes

Summary

1. merged
2. updated for release;
3. Added tag Isabelle2021-RC4 for changeset 2ab14dbc6feb
4. provide naproche-20210201;
5. clarified messages;
6. more parallel;
7. more parallel;
8. contributors
9. hide the internal abbreviations MR and MB
10. optimize RBT_Impl
11. merged
12. more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within mixfix declarations (due to extra markup);
13. tuned signature: more types;
14. clarified signature: proper order;
15. clarified signature: more explicit types;
16. tuned;
17. clarified signature: no symbol markup within XML attributes;
18. clarified signature;
19. tuned signature;
20. bundle more libraries from scala-2.12.x, notably for Isabelle/MMT;
21. provide naproche-20210129;
22. more robust type signatures, notably for the sake of haskell-stack-trace-plugin-0.1.1.1;
23. tuned signature (e.g. see HTML.control_block in Isabelle/Scala);
24. proper Isabelle environment (amending 31fbde3baa97);
25. updated to jdk-15.0.2+7;
26. follow Phabricator update 2021 Week 4;
27. more NEWS;
28. more uniform directory layout for macOS; uniform Isabelle_app executable + lib/scripts/Isabelle_app for Linux and macOS; proper support for Apple "Files and Folders" security via x86_64-darwin executable (which is still able to launch arm64-darwin Java);
29. more generic Isabelle_app;
30. prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc);
31. more robust;
32. tuned;
33. tuned;
34. provide jdk-11.0.10+9.tar.gz LTS for testing (inactive);

Summary

1. merge from afp-2021
2. merge from afp-2020
3. fixed category for Blue_Eyes
4. Backed out changeset 4450302adc70
5. fixed category for Blue_Eyes
6. sitegen for Blue_Eyes
7. New entry: Blue_Eyes
8. paragraph tags in the abstract of IsaGeoCoq
9. tidying of IsaGeoCoq including a shorter abstract and revised title
10. website for IsaGeoCoq
11. new entry IsaGeoCoq
12. hide MB abbreviation
13. integrate RBT_Impl optimizations