| Mon, 25 Nov 2019 10:58:15 +0100 |
wenzelm |
avoid vacuous session Pure -- dump does not read_pure_theory;
|
file |
diff |
annotate
|
| Sun, 24 Nov 2019 15:45:32 +0100 |
wenzelm |
clarified vacuous selection vs. Pure;
|
file |
diff |
annotate
|
| Sun, 24 Nov 2019 15:31:28 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 15 Oct 2019 11:25:18 +0200 |
wenzelm |
cumulative errors for session partitions;
|
file |
diff |
annotate
|
| Tue, 15 Oct 2019 11:06:18 +0200 |
wenzelm |
proper guard for process_theory: ensure uniform precedence of results;
|
file |
diff |
annotate
|
| Tue, 15 Oct 2019 10:52:42 +0200 |
wenzelm |
load HOL-Proofs first: it introduces some extra "thm" items that are required later on;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 22:22:06 +0200 |
wenzelm |
more complete coverage of sessions: process_theory operation needs to handle duplicate theories;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 22:09:10 +0200 |
wenzelm |
proper build_graph to make session selection work as in "isabelle build";
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 21:57:36 +0200 |
wenzelm |
incorporate sessions with record_proofs;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 21:00:04 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 20:29:19 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 20:22:37 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 20:05:16 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 19:37:12 +0200 |
wenzelm |
clarified treatment of base logic image;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 19:14:03 +0200 |
wenzelm |
simplified options: always split;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 18:51:12 +0200 |
wenzelm |
proper guard -- avoid bad result;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 17:19:08 +0200 |
wenzelm |
split into standard partitions, for improved scalability;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 13:21:53 +0200 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 13:17:33 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 12:07:37 +0200 |
wenzelm |
clarified signature: static Dump.Context vs. dynamic Dump.Session;
|
file |
diff |
annotate
|
| Mon, 07 Oct 2019 11:35:43 +0200 |
wenzelm |
discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT;
|
file |
diff |
annotate
|
| Tue, 01 Oct 2019 20:21:30 +0200 |
wenzelm |
avoid censorship of options, e.g. relevant for Isabelle/MMT to provide its own value;
|
file |
diff |
annotate
|
| Tue, 01 Oct 2019 19:54:42 +0200 |
wenzelm |
consolidate less aggressively: avoid live-lock when PIDE round-trip takes too long (e.g. in complex theory hierarchies);
|
file |
diff |
annotate
|
| Mon, 30 Sep 2019 21:01:08 +0200 |
wenzelm |
clarified share_common_data: after finished checkpoint, before next edits;
|
file |
diff |
annotate
|
| Mon, 30 Sep 2019 17:28:40 +0200 |
wenzelm |
obsolete (see 030a6baa5cb2 and d14ddb1df52c);
|
file |
diff |
annotate
|
| Mon, 30 Sep 2019 13:23:49 +0200 |
wenzelm |
added dump_options: disabled by default;
|
file |
diff |
annotate
|
| Sun, 15 Sep 2019 14:01:38 +0200 |
wenzelm |
more ambitious options (again);
|
file |
diff |
annotate
|
| Sun, 15 Sep 2019 13:52:30 +0200 |
wenzelm |
more ambitious options (again, after 93aa546ffbac);
|
file |
diff |
annotate
|
| Thu, 12 Sep 2019 16:21:44 +0200 |
wenzelm |
eliminated pointless theory graph (reverting parts of a56eab490f4e): it caused problems with loaded vs. non-loaded node names, e.g. for theory Pure (see also 29bb1ebb188f);
|
file |
diff |
annotate
|
| Sat, 07 Sep 2019 14:50:38 +0200 |
wenzelm |
disable fragile options for now;
|
file |
diff |
annotate
|