more Set() and Table() instances;

tuned;

performance tuning: replace Ord_List by Set();

performance tuning: make_size accounts for boxes, i.e. pointer derefs required in "count";

NEWS;

performance tuning;

more robust: avoid crash of Build_Log.parse_build_info / Protocol.Error_Message_Marker, e.g. in session MDP-Rewards of Isabelle/26ec258e5cf8 + AFP/2859e11cc09b;

proper stmt.execute() within loop (amending 9d9b30741fc4);

clarified signature;

tuned comments;

more options;

removed obsolete "rsync" package;

tuned comments;

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

tuned output;

misc tuning and clarification;

clarified output;

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

clarified signature: more abstract;

tuned signature;

more direct Hg_Sync.check_directory via SSH operations;

tuned;

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

clarified signature: avoid object-oriented "dispatch";

tuned;

clarified signature: more uniform Table() vs. Set();

merged

clarified modules;

clarified signature;

more compact data;