#1392 (Feb 9, 2021, 1:37:17 AM)

1. merged; (detail / hgweb)
2. Added tag Isabelle2021-RC5 for changeset a88dbf2a020f (detail / hgweb)
3. provide naproche-7d0947a91dd5; (detail / hgweb)
4. more complete solutions (amending 4d36070bdbf4); (detail / hgweb)
5. terminate faster (following dd9fc8a3036c); (detail / hgweb)
6. more robust: accommodate output lines produced by Scala "bash_process"; (detail / hgweb)
7. updated for release; (detail / hgweb)
8. updated to flatlaf-1.0-rc3; (detail / hgweb)
9. more robust: allow YXML text; (detail / hgweb)
10. inherit ISABELLE_TMP from ML process, e.g. required for $AFP/Hello_World/RunningCodeFromIsabelle.thy; (detail / hgweb)
11. support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2; (detail / hgweb)
12. clarified modules: less redundancy; (detail / hgweb)
13. clarified modules: allow early invocation of Scala functions; (detail / hgweb)
14. clarified modules: allow early definition of protocol commands; (detail / hgweb)
15. clarified links to external files, e.g. .pdf within .thy source document; (detail / hgweb)
16. avoid interference with FlatLaf fonts, see also jEdit SVN 24885 'Updated Appearance option pane to allow setting "primary" and "secondary" fonts for all look and feels.' (daleanson 2018-08-30); (detail / hgweb)
17. updated to flatlaf-1.0-rc2; (detail / hgweb)
18. added lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 47 min waiting;
• 1 hr 31 min build duration;
• 2 hr 18 min total from scheduled to completion.