Sat, 07 Jan 2017 16:16:41 +0100 |
wenzelm |
Line.Document consists of independently allocated strings;
|
file |
diff |
annotate
|
Thu, 05 Jan 2017 21:34:04 +0100 |
wenzelm |
more robust treatment of logical lines;
|
file |
diff |
annotate
|
Thu, 05 Jan 2017 15:15:51 +0100 |
wenzelm |
manage document blobs as well;
|
file |
diff |
annotate
|
Tue, 03 Jan 2017 17:21:37 +0100 |
wenzelm |
proper line_offset;
|
file |
diff |
annotate
|
Thu, 29 Dec 2016 16:00:29 +0100 |
wenzelm |
clarified Document.length -- independent of text_length;
|
file |
diff |
annotate
|
Wed, 28 Dec 2016 19:16:45 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Wed, 28 Dec 2016 19:15:52 +0100 |
wenzelm |
precise full_range and thus proper try_restrict in Snapshot.cumulate;
|
file |
diff |
annotate
|
Wed, 28 Dec 2016 17:26:38 +0100 |
wenzelm |
clarified signature: maintan Text.Length within Line.Document;
|
file |
diff |
annotate
|
Wed, 28 Dec 2016 17:10:09 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 28 Dec 2016 17:02:38 +0100 |
wenzelm |
clarified signature: explicit Length to avoid implicit mistakes;
|
file |
diff |
annotate
|
Wed, 28 Dec 2016 16:45:00 +0100 |
wenzelm |
more uniform treatment of input/output wrt. client;
|
file |
diff |
annotate
|
Mon, 26 Dec 2016 13:28:37 +0100 |
wenzelm |
clarified document: no stored text;
|
file |
diff |
annotate
|
Fri, 23 Dec 2016 19:07:54 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 21 Dec 2016 22:49:53 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 21 Dec 2016 22:37:53 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 21 Dec 2016 22:27:38 +0100 |
wenzelm |
tuned signature -- more explicit types;
|
file |
diff |
annotate
|
Wed, 21 Dec 2016 21:17:44 +0100 |
wenzelm |
clarified border cases;
|
file |
diff |
annotate
|
Tue, 20 Dec 2016 17:46:44 +0100 |
wenzelm |
proper reset of column (amending 01e50039edc9);
|
file |
diff |
annotate
|
Tue, 20 Dec 2016 16:08:02 +0100 |
wenzelm |
more systematic text length wrt. encoding;
|
file |
diff |
annotate
|
Tue, 20 Dec 2016 10:44:36 +0100 |
wenzelm |
more systematic text length;
|
file |
diff |
annotate
|
Tue, 20 Dec 2016 10:06:18 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Tue, 20 Dec 2016 08:57:03 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
| base
|