#2052 (Nov 9, 2023, 12:50:08 AM)

1. merged (detail / hgweb)
2. added lemma (detail / hgweb)
3. proper default for disjunction (amending 9f7a94117666); (detail / hgweb)
4. tuned; (detail / hgweb)
5. more operations; (detail / hgweb)
6. avoid option -C: free this latter for build-related configuration; (detail / hgweb)
7. more direct indentation, using Symbol.spaces; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. more accurate treatment of surrounding whitespace; (detail / hgweb)
10. obsolete (see also f627ab8c276c); (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. clarified signature: Command_Span.Kind already contains keyword_kind, so parsing document structure no longer requires Keyword.Keywords; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.8 sec waiting;
• 2 hr 5 min build duration;
• 2 hr 5 min total from scheduled to completion.