#1538 (Aug 28, 2021, 1:18:29 AM)

1. more Isabelle/Haskell; (detail / hgweb)
2. made sure lambda-lifting works well with native let binders in Sledgehammer (detail / hgweb)
3. handle Zipperposition's ResourceOut gracefully (detail / hgweb)
4. disabled 'ite' in Zipperposition until we upgrade to a version of Zip that supports it and we generate the proper syntax (detail / hgweb)

Started by an SCM change

This run spent:

• 28 min waiting;
• 2 hr 5 min build duration;
• 2 hr 34 min total from scheduled to completion.