Build #62 (Jul 25, 2021, 12:14:00 AM)

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

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. (detail)

Started by timer

This run spent:

• 93 ms waiting;
• 19 hr build duration;
• 19 hr total from scheduled to completion.