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