#1381 (Jan 10, 2021, 12:50:08 AM)

1. proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)"; (detail / hgweb)
2. proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c; (detail / hgweb)
3. clarified list of presented look-and-feels;
   clarified signature; (detail / hgweb)
4. clarified default L&F of Isabelle/Scala (not Isabelle/jEdit); (detail / hgweb)
5. discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it violates translation invariance of commands and may lead to redundant re-checking of PIDE document; (detail / hgweb)
6. Corrected lemma that was too specific in HOL-Computational_Algebra (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 1 hr 29 min build duration;
• 1 hr 29 min total from scheduled to completion.