#395 (Sep 1, 2016, 5:48:05 PM)

1. merged (detail / hgweb)
2. Renamed balanced to complete; added balanced; more about both (detail / hgweb)
3. tuned GUI: modal dialog last; (detail / hgweb)
4. tuned message; (detail / hgweb)
5. merged (detail / hgweb)
6. NEWS; (detail / hgweb)
7. more robust persistent storage;
   tuned; (detail / hgweb)
8. clarified important directories; (detail / hgweb)
9. separate action;
   tuned message; (detail / hgweb)
10. check keymap changes on startup; (detail / hgweb)
11. tuned message; (detail / hgweb)
12. clarified GUI;
    tuned; (detail / hgweb)
13. actual actions;
    tuned; (detail / hgweb)
14. tuned; (detail / hgweb)
15. clarified; (detail / hgweb)
16. tuned GUI; (detail / hgweb)
17. clarified GUI; (detail / hgweb)
18. tuned GUI; (detail / hgweb)
19. tuned rendering; (detail / hgweb)
20. more table content, similar to org.gjt.sp.jedit.pluginmgr.ManagePanel; (detail / hgweb)
21. clarified shortcut conflicts;
    tuned; (detail / hgweb)
22. clarified (see 019856db2bb6, ea52509f4c42); (detail / hgweb)
23. some support for merge of Isabelle/jEdit shortcuts wrt. jEdit keymap; (detail / hgweb)
24. added glyph from "Deja Vu Sans Mono" font; (detail / hgweb)

Started by an SCM change (2 times)