| Mon, 07 Dec 2020 22:02:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 21:49:39 +0100 |
wenzelm |
read theory with PIDE markup from session database;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 16:47:47 +0100 |
wenzelm |
clarified exports;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 12:43:21 +0100 |
wenzelm |
clarified signature, notably access to blob files;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 12:14:40 +0100 |
wenzelm |
support for PIDE markup for auxiliary files ("blobs");
|
file |
diff |
annotate
|
| Sun, 29 Nov 2020 21:09:46 +0100 |
wenzelm |
proper source symbols in persistent data;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 23:23:19 +0100 |
wenzelm |
store timings for used_theories in canonical order, with reconstructed store.read_theories;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 18:05:24 +0100 |
wenzelm |
more exports from rendering;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 16:51:40 +0100 |
wenzelm |
proper return code for more errors (amending d892f6d66402);
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 16:19:55 +0100 |
wenzelm |
more exports, as in "isabelle dump";
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 16:08:39 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 15:49:27 +0100 |
wenzelm |
clarified signature: prefer high-level Snapshot over low-level Command.State;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 13:15:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 12:21:45 +0100 |
wenzelm |
clarified signature --- avoid repeated open_database on server;
|
file |
diff |
annotate
|
| Wed, 25 Nov 2020 20:48:33 +0100 |
wenzelm |
clarified command_timings protocol;
|
file |
diff |
annotate
|
| Wed, 25 Nov 2020 12:57:45 +0100 |
wenzelm |
eliminated pointless transaction;
|
file |
diff |
annotate
|
| Wed, 25 Nov 2020 12:55:09 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 25 Nov 2020 12:52:00 +0100 |
wenzelm |
clarified document_output vs. progress;
|
file |
diff |
annotate
|
| Tue, 24 Nov 2020 16:49:42 +0100 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Tue, 24 Nov 2020 16:39:58 +0100 |
wenzelm |
clarified signature and database layout;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2020 15:34:35 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2020 15:14:58 +0100 |
wenzelm |
support for PIDE markup in batch build (inactive due to pide_reports=false);
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 21:02:38 +0100 |
wenzelm |
clarified signature: prefer Database_Context;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 17:12:17 +0100 |
wenzelm |
clarified document output;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 16:07:20 +0100 |
wenzelm |
clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds);
|
file |
diff |
annotate
|
| Thu, 19 Nov 2020 21:23:12 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 19 Nov 2020 21:12:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|