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