#679 (Jan 8, 2017, 8:02:04 PM)

1. merged (detail / hgweb)
2. more documentation; (detail / hgweb)
3. added node_name(String): imitate jEdit buffer operations;
   more uniform get_file_content for external source file references; (detail / hgweb)
4. tuned; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. avoid immediate editor.flush on buffer events; (detail / hgweb)
7. refer to internal File_Model instead of external file; (detail / hgweb)
8. tuned; (detail / hgweb)
9. resolve dependencies implicitly via File_Model, without jEdit Buffer_Model; (detail / hgweb)
10. tuned; (detail / hgweb)
11. support for bibtex entries; (detail / hgweb)
12. tuned; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. more explocit Document_Model.Content; (detail / hgweb)
15. refer to bibtex entries via general Document_Model, instead of editor buffers; (detail / hgweb)
16. clarified modules; (detail / hgweb)
17. uniform Document.Model.node_edits (without void edits); (detail / hgweb)
18. clarified check_thy_reader: check node_name here; (detail / hgweb)
19. more uniform node_header (non-strict);
    removed dead code; (detail / hgweb)
20. tuned signature; (detail / hgweb)
21. tuned signature; (detail / hgweb)
22. tuned; (detail / hgweb)
23. clarified lazy text content; (detail / hgweb)
24. Line.Document consists of independently allocated strings;
    tuned signature; (detail / hgweb)
25. obsolete; (detail / hgweb)
26. clarified buffer events: exit model while loading;
    misc tuning; (detail / hgweb)
27. separate Buffer_Model vs. File_Model;
    misc tuning and clarification; (detail / hgweb)
28. tuned; (detail / hgweb)
29. tuned; (detail / hgweb)
30. tuned; (detail / hgweb)
31. manage buffer models as explicit global state;
    tuned signature; (detail / hgweb)
32. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 57 min build duration;
• 1 hr 2 min total from scheduled to completion.