src/Pure/Tools/imports.scala
22 months ago wenzelm 2017-10-31 clarified signature;
22 months ago wenzelm 2017-10-31 clarified signature: global_theories is always required;
22 months ago wenzelm 2017-10-31 tuned;
22 months ago wenzelm 2017-10-12 more informative Imports.Report with actual session imports (minimized);
22 months ago wenzelm 2017-10-12 clarified signature;
22 months ago wenzelm 2017-10-07 theory qualifier is always session name (see also 31e8a86971a8);
22 months ago wenzelm 2017-10-05 clarified modules;
23 months ago wenzelm 2017-10-01 option -B for "isabelle build" and "isabelle imports";
23 months ago wenzelm 2017-09-29 tuned signature;
23 months ago wenzelm 2017-09-29 tuned signature;
23 months ago wenzelm 2017-09-17 more documentation; tuned message;
24 months ago wenzelm 2017-08-31 clarified signature: provide all_known information uniformly (it is subject to Sessions.T selection);
24 months ago wenzelm 2017-08-31 clarified errors;
2017-08-17 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;