src/Pure/Tools/imports.scala
21 months ago wenzelm 2017-09-29 tuned signature;
21 months ago wenzelm 2017-09-29 tuned signature;
22 months ago wenzelm 2017-09-17 more documentation; tuned message;
22 months ago wenzelm 2017-08-31 clarified signature: provide all_known information uniformly (it is subject to Sessions.T selection);
22 months ago wenzelm 2017-08-31 clarified errors;
23 months ago wenzelm 2017-08-17 support for incremental update according to session graph structure;
2017-06-30 wenzelm 2017-06-30 clarified platform file operations;
2017-06-07 wenzelm 2017-06-07 clarified output;
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;