| Sat, 04 Jun 2022 17:42:04 +0200 | desharna | added lemmas reflp_on_inf, reflp_on_sup, and reflp_on_mono | changeset | files |
| Tue, 07 Jun 2022 17:24:42 +0200 | wenzelm | merged | changeset | files |
| Tue, 07 Jun 2022 17:24:00 +0200 | wenzelm | more robust: protect_args does not work with rsync 2.x from macOS, and is not required in typical situations; | changeset | files |