#1650 (Feb 19, 2022, 1:45:10 AM)

1. merged (detail / hgweb)
2. improved support for Java Chromium Embedded Framework (JCEF): works on x86_64-linux and x86_64-windows with jdk-15 (not jdk-17), does not work on arm64 and darwin; (detail / hgweb)
3. one new lemma (detail / hgweb)
4. clarified options; (detail / hgweb)
5. clarified options; (detail / hgweb)
6. clarified directory; (detail / hgweb)
7. tuned whitespace; (detail / hgweb)
8. prefer strict equality, without implicit type conversion; (detail / hgweb)
9. tuned; (detail / hgweb)
10. auto-update by VSCode; (detail / hgweb)
11. more activationEvents, as proposed by Denis Paluca; (detail / hgweb)
12. tuned message; (detail / hgweb)
13. NEWS; (detail / hgweb)
14. run Isabelle/VSCode using local VSCodium installation; (detail / hgweb)
15. provide macos_exe, based on bin/codium from linux; (detail / hgweb)
16. clarified options; (detail / hgweb)

Started by an SCM change

This run spent:

• 55 min waiting;
• 1 hr 36 min build duration;
• 2 hr 31 min total from scheduled to completion.