| Fri, 14 Apr 2023 22:55:01 +0200 | wenzelm | more direct hg_sync init via ssh (see also 721b3278c8e4); | changeset | files |
| Fri, 14 Apr 2023 22:19:28 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 14 Apr 2023 22:08:16 +0200 | wenzelm | more operations; | changeset | files |
| Fri, 14 Apr 2023 21:58:22 +0200 | wenzelm | tuned: more direct re-use; | changeset | files |
| Fri, 14 Apr 2023 21:39:10 +0200 | wenzelm | more direct clone (see also change of exception in 8d8c70b41bab); | changeset | files |
| Fri, 14 Apr 2023 21:34:51 +0200 | wenzelm | more operations, following Isabelle/ML conventions; | changeset | files |
| Fri, 14 Apr 2023 20:42:17 +0200 | wenzelm | more operations, following Isabelle/ML conventions; | changeset | files |