wenzelm [Sun, 08 Jan 2017 19:34:44 +0100] rev 64842
more documentation;
wenzelm [Sun, 08 Jan 2017 19:08:26 +0100] rev 64841
added node_name(String): imitate jEdit buffer operations;
more uniform get_file_content for external source file references;
wenzelm [Sun, 08 Jan 2017 17:53:44 +0100] rev 64840
tuned;
wenzelm [Sun, 08 Jan 2017 17:42:31 +0100] rev 64839
tuned signature;
wenzelm [Sun, 08 Jan 2017 17:36:00 +0100] rev 64838
avoid immediate editor.flush on buffer events;
wenzelm [Sun, 08 Jan 2017 17:22:14 +0100] rev 64837
refer to internal File_Model instead of external file;
wenzelm [Sun, 08 Jan 2017 17:10:42 +0100] rev 64836
tuned;
wenzelm [Sun, 08 Jan 2017 16:47:53 +0100] rev 64835
resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
wenzelm [Sun, 08 Jan 2017 14:46:04 +0100] rev 64834
tuned;
wenzelm [Sun, 08 Jan 2017 13:08:17 +0100] rev 64833
support for bibtex entries;
wenzelm [Sun, 08 Jan 2017 13:03:14 +0100] rev 64832
tuned;
wenzelm [Sun, 08 Jan 2017 12:31:45 +0100] rev 64831
tuned signature;
wenzelm [Sun, 08 Jan 2017 12:00:37 +0100] rev 64830
more explocit Document_Model.Content;
wenzelm [Sun, 08 Jan 2017 11:41:18 +0100] rev 64829
refer to bibtex entries via general Document_Model, instead of editor buffers;
wenzelm [Sun, 08 Jan 2017 10:56:33 +0100] rev 64828
clarified modules;