#1446 (Apr 17, 2021, 1:30:34 AM)

1. clarified conditional ML; (detail / hgweb)
2. support for conditional ML text; (detail / hgweb)
3. updated example; (detail / hgweb)
4. clarified options; (detail / hgweb)
5. proper context variable handling when stripping leadings quantifiers from test goals (detail / hgweb)

Started by an SCM change

This run spent:

• 40 min waiting;
• 53 min build duration;
• 1 hr 33 min total from scheduled to completion.