Build #58 (Jun 27, 2021, 12:14:00 AM)

1. proper Font_Subst.cache for paintScreenLineRange; (detail)
2. more predictable result, avoid slightly odd "lastSubstFont" by jEdit; (detail)
3. tuned; (detail)
4. tuned signature; (detail)
5. tuned; (detail)
6. discontinue i21of4 (old Apple hardware); (detail)
7. avoid deprecated operation; (detail)
8. tuned; (detail)
9. support for jEdit font substitution; (detail)
10. more ambitious use of AttributedString (despite be825a69fc67, which was for much older Java);
    more direct TextAttribute.RUN_DIRECTION_LTR (see also ce22e5c3d4ce); (detail)
11. updated to flatlaf-1.2; (detail)
12. proper directories after reinstallation of lxbroy10; (detail)
13. more visual emphasis on node status; (detail)
14. more word cleanup (detail)
15. merged (detail)
16. more default simp rules (detail)
17. some word streamlining (detail)
18. avoid legacy domain informatik.tu-muenchen.de; (detail)

1. proved conditional completeness of compilation (detail)
2. fixed typos (detail)
3. more word cleanup (detail)
4. more default simp rules (detail)
5. some word streamlining (detail)
6. made consistent again (detail)
7. Fixed entry name for theories in sub-directory (detail)
8. Stone_Relation_Algebras, Aggregation_Algebras: added history to metadata (detail)

Started by timer

This run spent:

• 0.1 sec waiting;
• 1 min 42 sec build duration;
• 1 min 42 sec total from scheduled to completion.