Sun, 08 Sep 2019 20:04:32 +0200 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
Sun, 08 Sep 2019 17:49:35 +0200 |
wenzelm |
clarified syntax: 'directories' and 'theories' belong together;
|
file |
diff |
annotate
|
Sun, 08 Sep 2019 16:49:32 +0200 |
wenzelm |
check session directories;
|
file |
diff |
annotate
|
Sun, 08 Sep 2019 13:07:03 +0200 |
wenzelm |
clarified signature: proper Document.Node.Ordering conforming to equality (e.g. required in situations where theory names are ambiguous due to overlapping session directories);
|
file |
diff |
annotate
|
Sat, 07 Sep 2019 19:52:36 +0200 |
wenzelm |
theory_name based on session_directories: no need for expensive all_known;
|
file |
diff |
annotate
|
Sat, 07 Sep 2019 16:17:30 +0200 |
wenzelm |
clarified session_directories: relative to session_path, with overlapping information;
|
file |
diff |
annotate
|
Sat, 07 Sep 2019 15:18:06 +0200 |
wenzelm |
clarified signature: retain global session information, unaffected by later restriction;
|
file |
diff |
annotate
|
Sat, 07 Sep 2019 12:11:42 +0200 |
wenzelm |
support for explicit session directories;
|
file |
diff |
annotate
|
Wed, 04 Sep 2019 11:21:07 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 03 Sep 2019 15:24:04 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 03 Sep 2019 14:56:43 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 02 Sep 2019 16:28:09 +0200 |
wenzelm |
proper orientation;
|
file |
diff |
annotate
|
Mon, 02 Sep 2019 11:46:27 +0200 |
wenzelm |
clarified signature: prefer operations without position;
|
file |
diff |
annotate
|
Mon, 02 Sep 2019 10:41:14 +0200 |
wenzelm |
prefer Theory_Ordering theory names are unique (due to proper session context);
|
file |
diff |
annotate
|
Sun, 01 Sep 2019 22:57:25 +0200 |
wenzelm |
clarified signature: full dependency graph;
|
file |
diff |
annotate
|
Thu, 29 Aug 2019 17:13:49 +0200 |
wenzelm |
more scalable isabelle dump (and derivatives): mark individual theories to share common data in ML;
|
file |
diff |
annotate
|
Wed, 13 Mar 2019 13:46:16 +0100 |
wenzelm |
more sanity checks;
|
file |
diff |
annotate
|
Sun, 03 Mar 2019 19:12:28 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
Fri, 15 Feb 2019 17:10:09 +0100 |
wenzelm |
clarified meta_digest: export_files is a directive for physical output from existing build database;
|
file |
diff |
annotate
|
Wed, 30 Jan 2019 16:44:29 +0100 |
wenzelm |
support for session information via virtual file-system;
|
file |
diff |
annotate
|
Wed, 16 Jan 2019 17:55:26 +0100 |
wenzelm |
support pruning of export names;
|
file |
diff |
annotate
|
Mon, 31 Dec 2018 20:13:36 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 28 Dec 2018 16:58:27 +0100 |
wenzelm |
clarified sessions_deps, according to Isabelle/MMT usage;
|
file |
diff |
annotate
|
Mon, 03 Dec 2018 14:59:42 +0100 |
wenzelm |
static type for Library.using: avoid Java 11 warnings on "Illegal reflective access";
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 16:14:31 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 07 Nov 2018 21:42:16 +0100 |
wenzelm |
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
|
file |
diff |
annotate
|
Mon, 01 Oct 2018 19:30:36 +0200 |
wenzelm |
tuned output -- avoid bombing of Scala toplevel, e.g. for AFP deps;
|
file |
diff |
annotate
|
Sat, 29 Sep 2018 17:08:07 +0200 |
wenzelm |
tuned message according to ML version;
|
file |
diff |
annotate
|
Wed, 26 Sep 2018 22:38:16 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|