src/Pure/General/mercurial.scala
Sun, 16 Oct 2016 17:10:24 +0200 wenzelm more robust;
Sun, 16 Oct 2016 13:27:01 +0200 wenzelm clarified setup_repository: more uniform pull vs. clone, without update;
Sat, 15 Oct 2016 21:37:19 +0200 wenzelm clarified signature: more static types;
Sat, 15 Oct 2016 21:08:04 +0200 wenzelm clarified hg.id operation, with explicit tip as default;
Sat, 15 Oct 2016 20:51:41 +0200 wenzelm added setup_repository;
Thu, 13 Oct 2016 21:32:26 +0200 wenzelm tuned;
Wed, 12 Oct 2016 15:51:20 +0200 wenzelm tuned;
Wed, 12 Oct 2016 15:48:05 +0200 wenzelm added clone_repository;
Wed, 12 Oct 2016 15:23:54 +0200 wenzelm support remote repositories via ssh command execution;
Wed, 12 Oct 2016 11:31:08 +0200 wenzelm simplified: no internal state for Mercurial;
Tue, 11 Oct 2016 09:37:59 +0200 wenzelm eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline;
Tue, 04 Oct 2016 14:26:05 +0200 wenzelm tuned signature;
Mon, 03 Oct 2016 21:53:14 +0200 wenzelm more robust;
Mon, 03 Oct 2016 21:36:10 +0200 wenzelm proper log output;
Mon, 03 Oct 2016 16:15:59 +0200 wenzelm clarified: a variant of -i is the default, but its output is not as precise as it might seem;
Sun, 02 Oct 2016 21:05:14 +0200 wenzelm more operations;
Sun, 02 Oct 2016 20:06:57 +0200 wenzelm more operations;
Sun, 02 Oct 2016 19:47:18 +0200 wenzelm more formal Mercurial support (with the potential to upgrade to command server);
less more (0) tip