Mon, 02 Sep 2019 11:46:27 +0200 |
wenzelm |
clarified signature: prefer operations without position;
|
file |
diff |
annotate
|
Fri, 28 Dec 2018 16:58:27 +0100 |
wenzelm |
clarified sessions_deps, according to Isabelle/MMT usage;
|
file |
diff |
annotate
|
Mon, 28 May 2018 17:40:34 +0200 |
wenzelm |
clarified signature: Known.theories retains Document.Node.Entry (with header);
|
file |
diff |
annotate
|
Mon, 28 May 2018 11:15:17 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 17 May 2018 15:38:36 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 07 Nov 2017 16:50:26 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 07 Nov 2017 16:44:25 +0100 |
wenzelm |
clarifified selection: always wrt. build_graph structure;
|
file |
diff |
annotate
|
Tue, 07 Nov 2017 15:45:33 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 31 Oct 2017 19:29:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 31 Oct 2017 17:15:49 +0100 |
wenzelm |
clarified signature: global_theories is always required;
|
file |
diff |
annotate
|
Tue, 31 Oct 2017 17:03:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 12 Oct 2017 15:58:18 +0200 |
wenzelm |
more informative Imports.Report with actual session imports (minimized);
|
file |
diff |
annotate
|
Thu, 12 Oct 2017 11:25:06 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 07 Oct 2017 20:31:01 +0200 |
wenzelm |
theory qualifier is always session name (see also 31e8a86971a8);
|
file |
diff |
annotate
|
Thu, 05 Oct 2017 16:33:36 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 01 Oct 2017 13:07:31 +0200 |
wenzelm |
option -B for "isabelle build" and "isabelle imports";
|
file |
diff |
annotate
|
Fri, 29 Sep 2017 22:12:32 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 29 Sep 2017 17:41:39 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 17 Sep 2017 17:37:40 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
Thu, 31 Aug 2017 19:06:14 +0200 |
wenzelm |
clarified signature: provide all_known information uniformly (it is subject to Sessions.T selection);
|
file |
diff |
annotate
|
Thu, 31 Aug 2017 16:30:46 +0200 |
wenzelm |
clarified errors;
|
file |
diff |
annotate
|
Thu, 17 Aug 2017 21:12:55 +0200 |
wenzelm |
support for incremental update according to session graph structure;
|
file |
diff |
annotate
|
Fri, 30 Jun 2017 14:19:37 +0200 |
wenzelm |
clarified platform file operations;
|
file |
diff |
annotate
|
Wed, 07 Jun 2017 21:19:33 +0200 |
wenzelm |
clarified output;
|
file |
diff |
annotate
|
Wed, 07 Jun 2017 20:06:50 +0200 |
wenzelm |
update strictly local imports only;
|
file |
diff |
annotate
|
Wed, 07 Jun 2017 19:41:05 +0200 |
wenzelm |
proper imports_base;
|
file |
diff |
annotate
|
Wed, 07 Jun 2017 19:13:22 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 06 Jun 2017 23:13:53 +0200 |
wenzelm |
clarified import of loaded theory;
|
file |
diff |
annotate
|
Sun, 14 May 2017 20:22:54 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 14 May 2017 17:19:22 +0200 |
wenzelm |
prefer explicit progress channel;
|
file |
diff |
annotate
|
Sun, 14 May 2017 15:58:07 +0200 |
wenzelm |
clarified: repository files before commit;
|
file |
diff |
annotate
|
Sun, 23 Apr 2017 23:06:50 +0200 |
wenzelm |
support for potential session imports;
|
file |
diff |
annotate
|
Sun, 23 Apr 2017 19:17:04 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Sun, 23 Apr 2017 18:47:56 +0200 |
wenzelm |
support for Mercurial manifest check;
|
file |
diff |
annotate
|
Sun, 23 Apr 2017 16:18:31 +0200 |
wenzelm |
support for multiple operations via options;
|
file |
diff |
annotate
|
Sun, 23 Apr 2017 15:59:51 +0200 |
wenzelm |
clarified tool name -- more official status;
|
file |
diff |
annotate
| base
|