#1380 (Jan 9, 2021, 3:19:35 AM)

1. tuned GUI, notably for scalable FlatLaf; (detail / hgweb)
2. clarified default L&F; (detail / hgweb)
3. support for additional look-and-feels; (detail / hgweb)
4. avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view; (detail / hgweb)
5. some algebra material for HOL: characteristic of a ring, algebraic integers (detail / hgweb)
6. HOL-Data_Structures: added Selection and time functions for list functions (detail / hgweb)
7. merged (detail / hgweb)
8. discontinued body_range (again): does not quite work, because Position.thread_data is plain Toplevel.pos_of only; (detail / hgweb)
9. clarified: command keyword position is sufficient (amending 693a39f2cddc); (detail / hgweb)
10. ignore error messages produced by CVC4 when generating BV (detail / hgweb)
11. One useful lemma/simprule (detail / hgweb)
12. isabelle update_cartouches; (detail / hgweb)
13. tuned --- prefer explicit position; (detail / hgweb)
14. recovered body_range from eca176f773e0 --- its Command.core_range is in conflict with batch-build markup; (detail / hgweb)
15. tuned; (detail / hgweb)
16. support more command positions, analogous to Command.core_range in Isabelle/Scala; (detail / hgweb)
17. tuned; (detail / hgweb)
18. more uniform core_range (amending def3ec9cdb7e); (detail / hgweb)

Started by an SCM change

This run spent:

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