#1399 (Feb 21, 2021, 1:54:30 AM)

1. clarified lines (again); (detail / hgweb)
2. clarified modules; (detail / hgweb)
3. more uniform Bash.process: always ask Isabelle/Scala; (detail / hgweb)
4. more reactive protocol messages, e.g. for Scala.function (relevant for Bash.process); (detail / hgweb)
5. clarified compiler options; (detail / hgweb)
6. tuned comments; (detail / hgweb)
7. removed obsolete RC tags; (detail / hgweb)
8. more hints; (detail / hgweb)
9. merged (detail / hgweb)
10. Added tag Isabelle2021 for changeset 7e2a9a8c2b85 (detail / hgweb)
11. provide naproche-755224402e36; (detail / hgweb)
12. provide naproche-4ad61140062f; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 4 min waiting;
• 1 hr 30 min build duration;
• 2 hr 35 min total from scheduled to completion.