Sun, 08 Jan 2017 14:46:04 +0100 | wenzelm | tuned; | changeset | files |
Sun, 08 Jan 2017 13:08:17 +0100 | wenzelm | support for bibtex entries; | changeset | files |
Sun, 08 Jan 2017 13:03:14 +0100 | wenzelm | tuned; | changeset | files |
Sun, 08 Jan 2017 12:31:45 +0100 | wenzelm | tuned signature; | changeset | files |
Sun, 08 Jan 2017 12:00:37 +0100 | wenzelm | more explocit Document_Model.Content; | changeset | files |
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 |