Sat, 04 Jun 2022 17:42:04 +0200 desharna added lemmas reflp_on_inf, reflp_on_sup, and reflp_on_mono
Tue, 07 Jun 2022 17:24:42 +0200 wenzelm merged
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;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip