src/Pure/Tools/imports.scala
19 months ago wenzelm 2017-10-05 clarified modules;
19 months ago wenzelm 2017-10-01 option -B for "isabelle build" and "isabelle imports";
19 months ago wenzelm 2017-09-29 tuned signature;
19 months ago wenzelm 2017-09-29 tuned signature;
20 months ago wenzelm 2017-09-17 more documentation; tuned message;
20 months ago wenzelm 2017-08-31 clarified signature: provide all_known information uniformly (it is subject to Sessions.T selection);
20 months ago wenzelm 2017-08-31 clarified errors;
21 months ago wenzelm 2017-08-17 support for incremental update according to session graph structure;
22 months ago wenzelm 2017-06-30 clarified platform file operations;
23 months ago wenzelm 2017-06-07 clarified output;
23 months ago wenzelm 2017-06-07 update strictly local imports only;
23 months ago wenzelm 2017-06-07 proper imports_base;
23 months ago wenzelm 2017-06-07 tuned;
23 months ago 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;