#1751 (Aug 17, 2022, 12:51:09 AM)

1. revived 'try0' and 'smart' Isar proofs in Sledgehammer (detail / hgweb)
2. Cleanup of NonstandardAnalysis (detail / hgweb)

Started by an SCM change

This run spent:

• 8.7 sec waiting;
• 1 hr 49 min build duration;
• 1 hr 49 min total from scheduled to completion.