#2628 (Jan 26, 2021, 1:20:06 PM)

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

1. more robust: defer error in sessions structure to build process; (detail / hgweb)
2. merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS; (detail / hgweb)
3. Added tag Isabelle2021-RC3 for changeset 02422c9add5e (detail / hgweb)
4. provide naproche-20210124 (inactive); (detail / hgweb)
5. follow stackage update; (detail / hgweb)
6. tuned name, e.g. relevant for Naproche-SAD debugging in Isabelle/jEdit; (detail / hgweb)
7. more operations for client connection; (detail / hgweb)
8. fewer warnings, notably in Naproche-SAD; (detail / hgweb)
9. suppress bundled Naproche-SAD component: it is in conflict with building the same from sources; (detail / hgweb)
10. more robust etc/settings; (detail / hgweb)
11. IDE support for Naproche-SAD; (detail / hgweb)
12. proper path; (detail / hgweb)
13. support isabelle components -u and -x; (detail / hgweb)
14. proper typescript version, required for "vsce package"; (detail / hgweb)
15. auto-update; (detail / hgweb)
16. auto-update; (detail / hgweb)
17. proper type constraint; (detail / hgweb)
18. VSCode extension for official Isabelle release; (detail / hgweb)
19. proper message; (detail / hgweb)
20. unused; (detail / hgweb)
21. proper heap_free; (detail / hgweb)
22. suppress markup for literal tokens with block control symbols, for better PIDE/HTML output (see also d15fe10593ff); (detail / hgweb)
23. clarified documentation concerning macOS Big Sur; (detail / hgweb)
24. more systematic java-gui-setup, also for "isabelle jedit" command-line tool; (detail / hgweb)
25. updated to flatlaf-1.0-rc1; (detail / hgweb)
26. tuned; (detail / hgweb)
27. tuned proofs; (detail / hgweb)
28. tuned; (detail / hgweb)
29. obsolete; (detail / hgweb)
30. clarified platforms; (detail / hgweb)
31. more NEWS; (detail / hgweb)
32. workaround for Big Sur fullscreen mode: better support for JDialog windows (e.g. Find on top of main View); (detail / hgweb)
33. clarified app identification, potentially relevant for macOS "defaults"; (detail / hgweb)
34. updated documentation: HIDPI works smoothly thanks to FlatLaf; (detail / hgweb)
35. updated for release; (detail / hgweb)
36. updated screenshot; (detail / hgweb)
37. clarified reports before errors: support completion of bibtex entries in Isabelle/Scala (amending d01ea9e3bd2d); (detail / hgweb)
38. tuned; (detail / hgweb)
39. proper theory_long_name; (detail / hgweb)
40. updated screenshots; (detail / hgweb)
41. more robust GUI, notably for Big Sur full-screen where the hypersearch panel becomes a separate maximized window; (detail / hgweb)
42. revert 1105c42722dc on isabelle-release branch; (detail / hgweb)

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

1. adjustments for Word_Lib updates (detail)
2. sync with l4v (detail)
3. allow instance for nat
   
   (by Florian) (detail)
4. merge from afp-2020 (detail)
5. New entry JinjaDCI (detail)

Started by an SCM change

This run spent:

• 2 min 2 sec waiting;
• 2 hr 41 min build duration;
• 2 hr 43 min total from scheduled to completion.