| Fri, 23 Dec 2022 22:51:47 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 23 Dec 2022 22:48:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 23 Dec 2022 22:41:47 +0100 | wenzelm | more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch; | changeset | files |
| Fri, 23 Dec 2022 22:33:14 +0100 | wenzelm | update URL; | changeset | files |
| Fri, 23 Dec 2022 15:42:52 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 23 Dec 2022 15:34:09 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2022 15:29:29 +0100 | wenzelm | tuned; | changeset | files |