isabelle: Changelog

wenzelm [Sat, 08 Apr 2023 19:32:09 +0200] rev 77792

use "rsync --secluded-args" by default, discontinue obsolete option -P of sync tools;

wenzelm [Sat, 08 Apr 2023 19:02:51 +0200] rev 77791

tuned output;

wenzelm [Sat, 08 Apr 2023 18:59:58 +0200] rev 77790

misc tuning and clarification;

wenzelm [Sat, 08 Apr 2023 18:46:17 +0200] rev 77789

clarified output;

wenzelm [Sat, 08 Apr 2023 18:08:20 +0200] rev 77788

use remote copy of locally installed rsync component: for uniform version and options;

wenzelm [Sat, 08 Apr 2023 17:20:15 +0200] rev 77787

clarified signature: more abstract;

wenzelm [Sat, 08 Apr 2023 16:59:20 +0200] rev 77786

tuned signature;

wenzelm [Sat, 08 Apr 2023 16:58:01 +0200] rev 77785

more direct Hg_Sync.check_directory via SSH operations;

wenzelm [Sat, 08 Apr 2023 16:44:24 +0200] rev 77784

tuned;

wenzelm [Sat, 08 Apr 2023 16:37:54 +0200] rev 77783

clarified underlying SSH session of "isabelle hg_sync" and "isabelle sync";

isabelle