| Fri, 23 Dec 2022 22:41:47 +0100 |
wenzelm |
more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;
|
file |
diff |
annotate
|
| Tue, 06 Dec 2022 16:52:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 06 Dec 2022 16:44:47 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 10 Nov 2022 12:21:44 +0100 |
wenzelm |
clarified signature: ensure that entries are well-formed --- no consecutive separators, no separators at start/end;
|
file |
diff |
annotate
|
| Thu, 10 Nov 2022 11:17:26 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 09 Nov 2022 19:42:21 +0100 |
wenzelm |
clarified GUI.Selector, with support for separator as pseudo-entry;
|
file |
diff |
annotate
|
| Fri, 28 Oct 2022 16:14:14 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 12:32:38 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 11:53:45 +0200 |
wenzelm |
tuned, following 298707451ec2;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 19:41:52 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Tue, 20 Jun 2017 11:19:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 19 Jun 2017 21:09:19 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 19 Jun 2017 20:32:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 19 Jun 2017 19:59:13 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 20:50:21 +0100 |
wenzelm |
avoid global variables with implicit initialization;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2017 14:33:14 +0100 |
wenzelm |
clarified modules: spell-checker in Pure;
|
file |
diff |
annotate
| base
|