src/Pure/Tools/build.scala
Fri, 26 May 2017 15:28:46 +0200 wenzelm more selective database access;
Sun, 14 May 2017 20:16:13 +0200 wenzelm implicitly check for unknown files (not part of a Mercurial repository);
Sun, 14 May 2017 17:19:46 +0200 wenzelm prefer explicit progress channel;
Sun, 14 May 2017 17:05:06 +0200 wenzelm tuned signature;
Sun, 14 May 2017 17:01:05 +0200 wenzelm tuned;
Fri, 21 Apr 2017 14:09:03 +0200 wenzelm eliminated default_qualifier: just a constant;
Thu, 20 Apr 2017 10:35:00 +0200 wenzelm clarified;
less more (0) -100 -30 -10 -7 tip