#1666 (Mar 8, 2022, 12:50:10 AM)

1. towards UTF-8-Isabelle symbol encoding; (detail / hgweb)
2. updated to VSCode 1.65.0; (detail / hgweb)
3. clarified char symbols: cover most European languages; (detail / hgweb)
4. more elementary Symbol.Matcher without detour via Regex (see also Pure/General/symbol_explode.ML); (detail / hgweb)
5. tuned comments;
   tuned imports; (detail / hgweb)
6. more robust dependencies: avoid implicit update, escpecially of underlying vscode engine; (detail / hgweb)
7. proper file headers; (detail / hgweb)
8. added count_list lemmas (detail / hgweb)

Started by an SCM change

This run spent:

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