| Sun, 08 Jan 2017 11:41:18 +0100 | wenzelm | refer to bibtex entries via general Document_Model, instead of editor buffers; | changeset | files |
| Sun, 08 Jan 2017 10:56:33 +0100 | wenzelm | clarified modules; | changeset | files |
| Sat, 07 Jan 2017 21:32:00 +0100 | wenzelm | uniform Document.Model.node_edits (without void edits); | changeset | files |