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
|
Sat, 07 Jan 2017 09:42:57 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Fri, 06 Jan 2017 23:25:18 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Fri, 06 Jan 2017 13:27:18 +0100 |
wenzelm |
manage buffer models as explicit global state;
|
changeset |
files
|
Fri, 06 Jan 2017 11:58:29 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
Sat, 07 Jan 2017 09:56:33 +0100 |
haftmann |
obsolete
|
changeset |
files
|
Thu, 05 Jan 2017 22:57:59 +0100 |
wenzelm |
more informative error for spurious crash;
|
changeset |
files
|