#2039 (Oct 24, 2023, 12:50:08 AM)

1. Added the command nxsketch, which is like sketch except it separates these subgoals by "next" fills in the context using "fix"/"assume" rather than "for"/"if". Also the sketch command does the same if there is only one subgoal. (detail / hgweb)
2. proper cut for Parse.enum1' and its derivatives (see also 769abc29bb8e); (detail / hgweb)
3. unused (see fe9e590ae52f); (detail / hgweb)
4. clarified modules; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.3 sec waiting;
• 2 hr 3 min build duration;
• 2 hr 3 min total from scheduled to completion.