#1552 (Nov 30, 2020, 1:33:12 AM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. more Isabelle fonts, notably for PanelWindowContainer buttons with Windows L&F; (detail)
2. merged (detail)
3. Path.implode_symbolic as in ML; (detail)
4. proper source symbols in persistent data; (detail)
5. more completion; (detail)
6. tuned signature; (detail)
7. restrict report redirection to current node; (detail)
8. clarified parser; (detail)
9. tuned signature; (detail)
10. proper positions for inlined command messages, e.g. for completion within theory header; (detail)
11. tuned signature; (detail)
12. clarified modules; (detail)
13. tuned signature; (detail)
14. clarified checks (see f34f5c057c9e); (detail)
15. clarified signature; (detail)
16. tuned comments; (detail)
17. tuned; (detail)
18. typo (detail)
19. more on signed division (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. tuned whitespace; (detail)
2. sorted out lemmas (detail)
3. adapted to Isabelle/5f9d66155081; (detail)

Started by an SCM change

This run spent:

• 8.8 sec waiting;
• 11 hr build duration;
• 11 hr total from scheduled to completion.