Changes

Summary

1. clarified signature;
2. clarified compiler output: allow multithreaded execution;
3. clarified signature: more operations;
4. clarified props: more permissive;
5. more robust;
6. clarified properties: "module" and "no_build"; clarified signature;
7. clarified signature;
8. clarified signature;
9. tuned comments;
10. tuned document;
11. clarified names (again), e.g. relevant for "Plugin Options";
12. added simp_options to meson
13. tuning
14. parse TPTP operator @ also when not parenthesized
15. removed setup for outdated CVC3 from Isabelle
16. tuned E's lambda encoding
17. use Vampire's clausifier with iProver, now that E's is no longer supported
18. updated Sledgehammer docs -- removed most version numbers since these are tedious to maintain
19. compile
20. tuned;
21. NEWS;
22. updated documentation on Isabelle/Scala;
23. discontinued obsolete Apple (deprecated);
24. clarified component setup: exclude jar from active component, but use sources from template within ISABELLE_HOME (relevant for "isabelle scala_project -L");
25. more robust "isabelle build_scala" as separate tool;
26. tuned --- based on hints by IntelliJ IDEA;
27. more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in AFP/1001c0dfced0);
28. more portable across history;
29. proper isabelle.setup.Setup build;
30. rebuild component;
31. more complete scala_project, including Isabelle/jEdit plugins;
32. clarified directories;
33. more accurate scala_project, based on build.props of components;
34. clarified build_props: empty module means no build; clarified signature; clarified errors;
35. tuned;
36. CONTRIBUTORS
37. merged
38. more robust;
39. rebuild component;
40. more robust: for the sake of Isabelle.app on macOS;
41. more robust;
42. more robust;
43. more robust;
44. rebuild component;
45. more informative errors: capture low-level compiler output;
46. more direct isabelle_scala_build: always enabled, no "Admin" requirement;
47. tuned --- fewer warnings;
48. clarified names;
49. tuned --- fewer warnings;
50. clarified directory;
51. clarified names;
52. clarified component setup for old graph browser;
53. redundant: *.class and *.jar are already ignored;
54. proper cat_lines: avoid last "\n";
55. merged
56. A few new lemmas and simplifications
57. removed support for experimental Pirate prover

Summary

1. Sync with my development repo. Add new material: "concrete bicategories" and "bicategory of categories". Change sublocale declarations related to functor/natural transformation/natural isomorphism to avoid issues with global interpretations reported by Filip Smola, 2/2/2021.