#1212 (Jun 12, 2020, 12:50:13 AM)

1. fixed the utterly weird definitions of asym / asymp, and added many asym lemmas (detail / hgweb)
2. tuned whitespace; (detail / hgweb)
3. proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310; (detail / hgweb)
4. updated to jedit-5.6pre1 (repository version 25349); (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 1 hr 22 min build duration;
• 1 hr 22 min total from scheduled to completion.