src/Pure/General/mercurial.scala
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