src/Pure/Tools/imports.scala
Sun, 23 Apr 2017 23:06:50 +0200 wenzelm support for potential session imports;
Sun, 23 Apr 2017 19:17:04 +0200 wenzelm tuned messages;
Sun, 23 Apr 2017 18:47:56 +0200 wenzelm support for Mercurial manifest check;
Sun, 23 Apr 2017 16:18:31 +0200 wenzelm support for multiple operations via options;
Sun, 23 Apr 2017 15:59:51 +0200 wenzelm clarified tool name -- more official status;
less more (0) tip