#231 (Jan 12, 2017, 12:51:07 AM)

1. improved chart plotting (detail / hgweb)
2. augmented user aliasses (detail / hgweb)
3. proper treatment of utf-8 (detail / hgweb)
4. tuned; (detail / hgweb)
5. support for semantic completion; (detail / hgweb)
6. generalized types in lemmas (detail / hgweb)
7. updated package; (detail / hgweb)
8. enable vscode_unicode_symbols by default, despite asymmetry of input and output; (detail / hgweb)
9. more documentation; (detail / hgweb)
10. generated configuration for Prettify Symbols Mode; (detail / hgweb)
11. tuned; (detail / hgweb)
12. clarified text output wrt. symbols; (detail / hgweb)

Started by an SCM change

This run spent:

• 7 sec waiting;
• 1 hr 6 min build duration;
• 1 hr 6 min total from scheduled to completion.