wenzelm [Tue, 07 Jun 2022 17:47:28 +0200] rev 75534
more robust: no change of directory attributes of initial test, notably target without .hg_sync meta data;
desharna [Tue, 07 Jun 2022 17:53:33 +0200] rev 75533
merged
desharna [Sat, 04 Jun 2022 17:58:08 +0200] rev 75532
added lemmas reflp_on_Inf and reflp_on_Sup
desharna [Sat, 04 Jun 2022 17:48:58 +0200] rev 75531
replaced HOL.implies by Pure.imp in reflp_mono for consistency with other lemmas
desharna [Sat, 04 Jun 2022 17:42:04 +0200] rev 75530
added lemmas reflp_on_inf, reflp_on_sup, and reflp_on_mono
wenzelm [Tue, 07 Jun 2022 17:24:42 +0200] rev 75529
merged
wenzelm [Tue, 07 Jun 2022 17:24:00 +0200] rev 75528
more robust: protect_args does not work with rsync 2.x from macOS, and is not required in typical situations;
wenzelm [Tue, 07 Jun 2022 17:22:17 +0200] rev 75527
clarified context with global defaults;
wenzelm [Tue, 07 Jun 2022 17:10:51 +0200] rev 75526
tuned signature;
wenzelm [Tue, 07 Jun 2022 17:07:10 +0200] rev 75525
clarified signature: more explicit type Rsync.Context;