#772 (Oct 26, 2018, 1:33:38 AM)

1. merged (detail / hgweb)
2. NEWS; (detail / hgweb)
3. updated to jedit_build-20181025 according to patches/macos (Java 11), patches/putenv;
   proper update of jEdit environment -- avoid warnings in Java 11;
   activate jdk-11+28; (detail / hgweb)
4. clarified ML position: proper markup for def/ref scopes (see also 162a4c2e97bc); (detail / hgweb)
5. updated to jdk-11+28 from https://adoptopenjdk.net -- with proper font rendering on Linux; (detail / hgweb)
6. proper completion for @{named_theorems}; (detail / hgweb)
7. executable comparators apt for sorting (detail / hgweb)
8. tuned grammar (detail / hgweb)
9. more and generalized lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 43 min waiting;
• 1 hr 16 min build duration;
• 2 hr 0 min total from scheduled to completion.