#2038 (Oct 23, 2023, 1:28:51 AM)

1. merged (detail / hgweb)
2. update documentation on simproc_setup; (detail / hgweb)
3. tuned; (detail / hgweb)
4. proper morphism; (detail / hgweb)
5. simprocs may be distinguished via 'identifier': only works for ML antiquotation (see also 13252110a6fe); (detail / hgweb)
6. more compact ML source; (detail / hgweb)
7. more robust read_simproc_spec: proper error positions; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. more standard simproc_setup using ML antiquotation; (detail / hgweb)
10. more standard simproc_setup using ML antiquotation; (detail / hgweb)
11. more standard simproc_setup using ML antiquotation; (detail / hgweb)
12. added ML antiquotation "simproc_setup"; (detail / hgweb)
13. clarified signature; (detail / hgweb)
14. clarified signature;
    clarified modules; (detail / hgweb)
15. tuned signature; (detail / hgweb)
16. tuned signature; (detail / hgweb)
17. clarified signature; (detail / hgweb)
18. clarified syntax and order of parameters; (detail / hgweb)
19. clarified signature: Named_Target.setup works both for global and local theory; (detail / hgweb)
20. clarified signature;
    clarified modules; (detail / hgweb)
21. clarified signature: more concise simproc setup in ML; (detail / hgweb)
22. clarified signature: more concise variations on implicit theory setup; (detail / hgweb)
23. clarified simproc_setup (passive); (detail / hgweb)
24. clarified 'simproc_setup'; (detail / hgweb)
25. support for "simproc_setup ... (passive)": allow to define simprocs in Isar that are not added to the simpset (yet); (detail / hgweb)
26. more standard simproc_setup in Isar;
    recovered examples from dead comments; (detail / hgweb)
27. more standard ML setup;
    proper tracing messages depending on context option, not Unsynchronized.ref;
    tuned whitespace; (detail / hgweb)

Started by an SCM change

This run spent:

• 38 min waiting;
• 2 hr 4 min build duration;
• 2 hr 43 min total from scheduled to completion.