isabelle: Changelog

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";

wenzelm [Sat, 08 Apr 2023 10:24:54 +0200] rev 77782

clarified signature: avoid object-oriented "dispatch";

wenzelm [Mon, 03 Apr 2023 21:16:32 +0200] rev 77781

tuned;

isabelle