#1353 (Dec 7, 2020, 1:22:23 AM)

1. clarified File_Format.detect: needs to operate on full node name; (detail / hgweb)
2. more accurate syntax, following Sessions.parse_roots in Scala; (detail / hgweb)
3. PIDE support for session ROOTS; (detail / hgweb)
4. more robust; (detail / hgweb)
5. more Unicode; (detail / hgweb)
6. eliminated odd "Read_me"; (detail / hgweb)
7. eliminated odd "Read_me"; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. silently ignore markup that starts out as singularity, e.g. <language/> from empty ML file; (detail / hgweb)
10. moved some lemmas from AFP to distribution (detail / hgweb)

Started by an SCM change

This run spent:

• 32 min waiting;
• 1 hr 27 min build duration;
• 1 hr 59 min total from scheduled to completion.