#294 (Jul 11, 2016, 11:56:12 AM)

1. merged (detail / hgweb)
2. clarified keywords; (detail / hgweb)
3. more indentation for quasi_command keywords; (detail / hgweb)
4. tuned; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned; (detail / hgweb)
7. support for quasi_command keywords; (detail / hgweb)
8. tuned signature: more uniform Keyword.spec; (detail / hgweb)
9. indentation in reminiscence to Proof General (see proof-indent.el); (detail / hgweb)
10. tuned; (detail / hgweb)
11. tuned; (detail / hgweb)
12. tuned; (detail / hgweb)
13. clarified signature; (detail / hgweb)
14. more operations; (detail / hgweb)
15. clarified modules; (detail / hgweb)
16. basic setup for indentation; (detail / hgweb)
17. tuned; (detail / hgweb)
18. more operations; (detail / hgweb)

Started by an SCM change