Build #95 (Mar 13, 2022, 12:14:00 AM)

1. clarified and unified executable names; (detail)
2. tuned; (detail)
3. tuned; (detail)
4. merged (detail)
5. suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode; (detail)
6. fix handling of lambdas in reconstruction of eq_congruent (detail)
7. more robust: avoid breakdown of Search dialog; (detail)
8. tuned; (detail)
9. always use Isabelle encoding, as in Isabelle/jEdit; (detail)
10. tuned signature; (detail)
11. clarified signature: more uniform ts vs. Scala; (detail)
12. discontinued isabelle_filesystem (superseded by isabelle_encoding), see also da1108a6d249;
    discontinued special treatment of workspace_dir as session directory; (detail)
13. actually decode/encode symbols; (detail)
14. merged (detail)
15. prefer yarn over npm; (detail)
16. more accurate .hgignore; (detail)
17. clarified startup of "isabelle vscode": vscodium component is required, with patches for Isabelle/VSCode; (detail)
18. tuned messages; (detail)
19. proper init_resources for macos; (detail)
20. clarified names; (detail)
21. clarified modules: vscode vs. extension;
    clarified signature; (detail)
22. inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs; (detail)
23. more operations; (detail)
24. tuned comments;
    tuned messages; (detail)
25. patch VSCode source tree to support isabelle_encoding.ts; (detail)
26. more robust, pass "yarn valid-layers-check"; (detail)
27. clarified directories; (detail)
28. patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet; (detail)
29. fit into vscode source conventions; (detail)
30. A tiny further cleanup (detail)
31. Tidied some messy proofs (detail)
32. merged (detail)
33. more count_list lemmas (detail)
34. towards UTF-8-Isabelle symbol encoding; (detail)
35. updated to VSCode 1.65.0; (detail)
36. clarified char symbols: cover most European languages; (detail)
37. more elementary Symbol.Matcher without detour via Regex (see also Pure/General/symbol_explode.ML); (detail)
38. tuned comments;
    tuned imports; (detail)
39. more robust dependencies: avoid implicit update, escpecially of underlying vscode engine; (detail)
40. proper file headers; (detail)
41. added count_list lemmas (detail)
42. tuned message; (detail)
43. more compact result; (detail)
44. prepare patched version more thoroughly, with explicit patches; (detail)
45. tuned signature; (detail)

1. more count_list lemmas (detail)
2. more count_list (detail)
3. merged (detail)
4. moved some count_list lemmas (detail)
5. synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/-/tree/5f38d029bfcabac8ba3b4ceea747f07772d1390d (detail)
6. synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/-/tree/5f38d029bfcabac8ba3b4ceea747f07772d1390d (detail)
7. synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/-/tree/5f38d029bfcabac8ba3b4ceea747f07772d1390d (detail)
8. synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/-/tree/5f38d029bfcabac8ba3b4ceea747f07772d1390d (detail)
9. continue 98838b260ed4 (detail)
10. continue ee01bce2ecca (detail)
11. cancel some part of 11d4567f1b99 (detail)
12. cancel some part of 98838b260ed4 (detail)
13. cancel some part of ada85c62541d (detail)
14. synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/-/tree/5f38d029bfcabac8ba3b4ceea747f07772d1390d (detail)

Started by timer

This run spent:

• 18 ms waiting;
• 16 hr build duration;
• 16 hr total from scheduled to completion.