src/Pure/Tools/imports.scala
Thu, 12 Oct 2017 11:25:06 +0200 wenzelm clarified signature;
Sat, 07 Oct 2017 20:31:01 +0200 wenzelm theory qualifier is always session name (see also 31e8a86971a8);
Thu, 05 Oct 2017 16:33:36 +0200 wenzelm clarified modules;
Sun, 01 Oct 2017 13:07:31 +0200 wenzelm option -B for "isabelle build" and "isabelle imports";
Fri, 29 Sep 2017 22:12:32 +0200 wenzelm tuned signature;
Fri, 29 Sep 2017 17:41:39 +0200 wenzelm tuned signature;
Sun, 17 Sep 2017 17:37:40 +0200 wenzelm more documentation;
Thu, 31 Aug 2017 19:06:14 +0200 wenzelm clarified signature: provide all_known information uniformly (it is subject to Sessions.T selection);
Thu, 31 Aug 2017 16:30:46 +0200 wenzelm clarified errors;
Thu, 17 Aug 2017 21:12:55 +0200 wenzelm support for incremental update according to session graph structure;
Fri, 30 Jun 2017 14:19:37 +0200 wenzelm clarified platform file operations;
Wed, 07 Jun 2017 21:19:33 +0200 wenzelm clarified output;
Wed, 07 Jun 2017 20:06:50 +0200 wenzelm update strictly local imports only;
Wed, 07 Jun 2017 19:41:05 +0200 wenzelm proper imports_base;
Wed, 07 Jun 2017 19:13:22 +0200 wenzelm tuned;
Tue, 06 Jun 2017 23:13:53 +0200 wenzelm clarified import of loaded theory;
Sun, 14 May 2017 20:22:54 +0200 wenzelm tuned signature;
Sun, 14 May 2017 17:19:22 +0200 wenzelm prefer explicit progress channel;
Sun, 14 May 2017 15:58:07 +0200 wenzelm clarified: repository files before commit;
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