#347 (Aug 5, 2016, 7:45:19 PM)

1. merged (detail / hgweb)
2. misc tuning and modernization; (detail / hgweb)
3. tuned whitespace; (detail / hgweb)
4. Sidekick parser for isabelle-ml and sml mode; (detail / hgweb)
5. prefer hardwired "nothing"; (detail / hgweb)
6. NEWS; (detail / hgweb)
7. clarified handling of plain theory commands; (detail / hgweb)
8. support for context block structure in Sidekick;
   tuned; (detail / hgweb)
9. tuned; (detail / hgweb)
10. clarified modules; (detail / hgweb)
11. clarified modules; (detail / hgweb)

Started by an SCM change