src/Pure/Tools/imports.scala
2017-06-07 wenzelm 2017-06-07 update strictly local imports only;
2017-06-07 wenzelm 2017-06-07 proper imports_base;
2017-06-07 wenzelm 2017-06-07 tuned;
2017-06-06 wenzelm 2017-06-06 clarified import of loaded theory;
2017-05-14 wenzelm 2017-05-14 tuned signature;
2017-05-14 wenzelm 2017-05-14 prefer explicit progress channel;
2017-05-14 wenzelm 2017-05-14 clarified: repository files before commit;
2017-04-23 wenzelm 2017-04-23 support for potential session imports;
2017-04-23 wenzelm 2017-04-23 tuned messages;
2017-04-23 wenzelm 2017-04-23 support for Mercurial manifest check;
2017-04-23 wenzelm 2017-04-23 support for multiple operations via options;
2017-04-23 wenzelm 2017-04-23 clarified tool name -- more official status;