more robust: avoid dire effect of ui.tweakoptions on hg.known_files;

clarified notion of unknown files: ignore files outside of a Mercurial repository;

more operations;

more operations;

proper ssh.bash_path;

more operations;

tuned: build hg_graph only once;
tuned signature;

clarified signature;
tuned ssh.prefix;

tuned;

faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root";

reverted 94cad7590015: does not help much on Windows;

tuned signature;

tuned signature;

implicitly check for unknown files (not part of a Mercurial repository);

more robust command invocation, without defaults from hgrc;

clarified notion of known files (before actual commit);

explore repository structure, with minimal assumptions about "hg log" output;

avoid hardlinks, for more robustness on Windows file-systems;

more operations;

optional component setup;

clarified setup_repository: even more uniform pull vs. clone (see also e84cba30d7ff);

clarified hg push return code: 1 means "nothing to push";

clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);

support for URL notation;

more operations;

clarified modules;

NEWS;
tuned comment;

simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;

more robust;

clarified setup_repository: more uniform pull vs. clone, without update;

clarified signature: more static types;

clarified hg.id operation, with explicit tip as default;

added setup_repository;
clarified root: expanded in target environment;

tuned;

tuned;

added clone_repository;
tuned;

support remote repositories via ssh command execution;
tuned;

simplified: no internal state for Mercurial;

eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline;

tuned signature;

more robust;

proper log output;

clarified: a variant of -i is the default, but its output is not as precise as it might seem;

more operations;

more operations;

more formal Mercurial support (with the potential to upgrade to command server);