| 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
|
| Sat, 07 Jan 2017 20:44:37 +0100 |
wenzelm |
clarified check_thy_reader: check node_name here;
|
changeset |
files
|
| Sat, 07 Jan 2017 20:37:48 +0100 |
wenzelm |
more uniform node_header (non-strict);
|
changeset |
files
|
| Sat, 07 Jan 2017 20:01:05 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 07 Jan 2017 19:36:40 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 07 Jan 2017 17:32:11 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 07 Jan 2017 17:30:06 +0100 |
wenzelm |
clarified lazy text content;
|
changeset |
files
|
| Sat, 07 Jan 2017 16:16:41 +0100 |
wenzelm |
Line.Document consists of independently allocated strings;
|
changeset |
files
|
| Sat, 07 Jan 2017 15:25:01 +0100 |
wenzelm |
obsolete;
|
changeset |
files
|
| Sat, 07 Jan 2017 15:16:36 +0100 |
wenzelm |
clarified buffer events: exit model while loading;
|
changeset |
files
|
| Sat, 07 Jan 2017 14:34:53 +0100 |
wenzelm |
separate Buffer_Model vs. File_Model;
|
changeset |
files
|
| Sat, 07 Jan 2017 11:22:13 +0100 |
wenzelm |
tuned;
|
changeset |
files
|