Changes

Summary

1. merged
2. more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within mixfix declarations (due to extra markup);
3. tuned signature: more types;
4. clarified signature: proper order;
5. clarified signature: more explicit types;
6. tuned;
7. clarified signature: no symbol markup within XML attributes;
8. clarified signature;
9. tuned signature;
10. bundle more libraries from scala-2.12.x, notably for Isabelle/MMT;
11. provide naproche-20210129;
12. more robust type signatures, notably for the sake of haskell-stack-trace-plugin-0.1.1.1;
13. tuned signature (e.g. see HTML.control_block in Isabelle/Scala);
14. proper Isabelle environment (amending 31fbde3baa97);
15. updated to jdk-15.0.2+7;
16. follow Phabricator update 2021 Week 4;
17. more NEWS;
18. 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);
19. more generic Isabelle_app;
20. prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc);
21. more robust;
22. tuned;
23. tuned;
24. provide jdk-11.0.10+9.tar.gz LTS for testing (inactive);
25. Simpler proof