Build #506 (Aug 3, 2021 9:24:09 AM)

1. added dummy_thf prover to Sledgehammer (detail / hgweb)
2. more operations on types and terms;
   abstract syntax operations for Pure and HOL; (detail / hgweb)
3. clarified jEdit java sources; (detail / hgweb)
4. clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons; (detail / hgweb)
5. removed junk; (detail / hgweb)
6. moved theory Bit_Operations into Main corpus (detail / hgweb)
7. more operations; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. organize syntax for word operations in bundles (detail / hgweb)
11. support for Lazy.Text; (detail / hgweb)
12. prefer compact Isabelle.Bytes; (detail / hgweb)
13. clarified signature; (detail / hgweb)
14. clarified signature --- more operations; (detail / hgweb)
15. tuned; (detail / hgweb)
16. clarified order of modules; (detail / hgweb)
17. more operations; (detail / hgweb)
18. tuned; (detail / hgweb)
19. clarified signature; (detail / hgweb)
20. tuned signature; (detail / hgweb)
21. clarified signature; (detail / hgweb)
22. merged (detail / hgweb)
23. prefer Isabelle.Bytes, based on ShortByteString; (detail / hgweb)
24. tuned; (detail / hgweb)
25. tuned signature; (detail / hgweb)
26. tuned signature: more generic operations; (detail / hgweb)
27. prefer UTF8 implementation from Data.Text.Encoding (foreign C);
    clarified signatures and modules; (detail / hgweb)
28. documented Mirabelle_Sledgehammer's new keep semantics (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 2 hr 58 min build duration;
• 2 hr 58 min total from scheduled to completion.

• Native_Word