| Sun, 11 Sep 2022 13:27:47 +0100 | paulson | merged | changeset | files |
| Sun, 11 Sep 2022 13:27:39 +0100 | paulson | tidied a few ugly proofs | changeset | files |
| Tue, 13 Sep 2022 11:56:38 +0200 | wenzelm | let rsync re-use ssh connection via control path; | changeset | files |
| Tue, 13 Sep 2022 10:44:47 +0200 | wenzelm | clarified command-line; | changeset | files |
| Tue, 13 Sep 2022 10:34:52 +0200 | wenzelm | clarified command-line; | changeset | files |
| Tue, 13 Sep 2022 10:14:44 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 13 Sep 2022 10:11:53 +0200 | wenzelm | proper port for Mercurial; | changeset | files |