#369 (Aug 12, 2016, 9:39:10 PM)

1. merged (detail / hgweb)
2. active jEdit actions; (detail / hgweb)
3. more symbols; (detail / hgweb)
4. clarified syntax; (detail / hgweb)
5. updated; (detail / hgweb)
6. some icons from Symbola font; (detail / hgweb)
7. more latex symbols, notably for embedded ML; (detail / hgweb)
8. uniform ML and document antiquotations; (detail / hgweb)
9. proper completion of path cartouche (amending 5a7c919a4ada); (detail / hgweb)
10. clarified error; (detail / hgweb)
11. more uniform path syntax (like url); (detail / hgweb)
12. liberal name as in document antiquotations; (detail / hgweb)
13. tuned; (detail / hgweb)
14. clarified antiquotations; (detail / hgweb)
15. tuned error; (detail / hgweb)
16. tuned whitespace; (detail / hgweb)
17. suppress ASCII art; (detail / hgweb)

Started by an SCM change