#1676 (Mar 23, 2022, 12:50:08 AM)

1. split veriT reconstruction into Lethe and veriT part (detail / hgweb)
2. clarified options; (detail / hgweb)
3. more robust errors -- on foreground process instead of background server; (detail / hgweb)
4. clarified options -l vs. -R; (detail / hgweb)
5. command-line arguments for "isabelle vscode", similar to "isabelle jedit"; (detail / hgweb)
6. proper command-line tool; (detail / hgweb)
7. support console output, e.g. "isabelle vscode -C -- --help"; (detail / hgweb)
8. run Isabelle/VSCode via Scala; (detail / hgweb)
9. clarified module name; (detail / hgweb)
10. clean build from explicit MANIFEST: avoid accidental garbage in vsix package; (detail / hgweb)
11. incorporate build_grammar into build_vscode_extension; (detail / hgweb)
12. removed old generated file; (detail / hgweb)

Started by an SCM change

This run spent:

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