| Tue, 07 Jun 2022 19:23:31 +0200 | wenzelm | avoid noise via context.progress (amending 68162e4f60a7); | changeset | files |
| Tue, 07 Jun 2022 19:15:08 +0200 | wenzelm | more robust treatment of rsync on macOS (see also 96fb1f9a4042); | changeset | files |
| Tue, 07 Jun 2022 19:13:56 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 07 Jun 2022 17:47:28 +0200 | wenzelm | more robust: no change of directory attributes of initial test, notably target without .hg_sync meta data; | changeset | files |
| Tue, 07 Jun 2022 17:53:33 +0200 | desharna | merged | changeset | files |
| Sat, 04 Jun 2022 17:58:08 +0200 | desharna | added lemmas reflp_on_Inf and reflp_on_Sup | changeset | files |