#1653 (Feb 23, 2022, 12:50:06 AM)

1. merged (detail / hgweb)
2. some updates to README.md; (detail / hgweb)
3. refer to Isabelle settings via environment, which is provided via "isabelle vscode";
   clarified error handling; (detail / hgweb)
4. more operations; (detail / hgweb)
5. more robust startup wrt. VSCode workspace (by Fabian Huch); (detail / hgweb)
6. various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); (detail / hgweb)
7. have Sledgehammer honor 'smt_nat_as_int' option (detail / hgweb)
8. more handling of Zipperposition definitions in Isar proof construction (detail / hgweb)
9. handle Zipperposition definitions in Isar proof construction (detail / hgweb)
10. parse Zipperposition definitions (detail / hgweb)

Started by an SCM change

This run spent:

• 5.5 sec waiting;
• 1 hr 36 min build duration;
• 1 hr 36 min total from scheduled to completion.