Build #41 (Mar 28, 2021, 12:14:00 AM)

1. tuned; (detail)
2. clarified; (detail)
3. tuned message; (detail)
4. tuned message; (detail)
5. more accurate settings after update of current version; (detail)
6. clarified messages; (detail)
7. more robust: lest hg work out remote tip;
   more options; (detail)
8. more options; (detail)
9. clarified treatment of multiple versions: last one counts;
   more options; (detail)
10. more robust; (detail)
11. more robust: explicit repository root; (detail)
12. more robust; (detail)
13. more convenient repository setup; (detail)
14. tuned; (detail)
15. more robust invocation of hg; (detail)
16. more robust: idempotent; (detail)
17. more robust invocation of hg; (detail)
18. tuned; (detail)
19. clarified output;
    more options; (detail)
20. support repository archives (without full .hg directory); (detail)
21. more robust invocation of hg; (detail)
22. record official releases that follow a certain structure, with public access via https://isabelle.sketis.net/repos/isabelle/raw-file/tip/Admin/Release/official (NB: Isabelle2013-1 had to be retracted); (detail)
23. dedicated session for combinatorial material (detail)
24. support for Java Chromium Embedded Framework (JCEF): still somewhat fragile; (detail)
25. enforce full build; (detail)
26. turn LaTeX warning into error, for the sake of isabelle.sty/bbbfont; (detail)
27. discontinue fragile check in LaTeX, e.g. problems with toc entries; (detail)
28. merged (detail)
29. merged (detail)
30. type class relaxation (detail)
31. more NEWS; (detail)
32. clarified group (but hard to tell); (detail)
33. more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb, 0x002afd;
    corresponding symbols and latex macros; (detail)
34. more lemmas (detail)
35. clarified package name (actually both pxfonts and txfonts exist and have this font); (detail)
36. tuned; (detail)
37. prefer isabelle bbbfont; (detail)
38. enforce full build; (detail)
39. clarified symbol names, notably relevant for Z_Notation; (detail)
40. update README (actually after update of component); (detail)
41. high-quality blackboard-bold fonts from "txmia" (package "txfonts"); (detail)

1. more robust invocation of hg; (detail)
2. Update tile to match metadata (detail)
3. Extend entry Szpilrajn (detail)
4. dedicated session for combinatorial material (detail)
5. more lemmas (detail)

Started by timer

This run spent:

• 77 ms waiting;
• 14 hr build duration;
• 14 hr total from scheduled to completion.