| Wed, 17 Nov 2021 15:54:11 +0100 |
wenzelm |
afford more parallelism for sessions (instead of theories in 5eac4b13d1f1): depend on disjoint data areas (notably base.session_theories in 2ad892ac749a);
|
file |
diff |
annotate
|
| Wed, 17 Nov 2021 15:23:15 +0100 |
wenzelm |
present only selected session theories (as in Isabelle2021), in contrast to 2bc24136bdeb, eb89b3a37826;
|
file |
diff |
annotate
|
| Wed, 17 Nov 2021 11:57:34 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 16 Nov 2021 21:47:38 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 16 Nov 2021 21:43:41 +0100 |
wenzelm |
removed redundant test (see also 86fac52c2795, a9fea3f11cc0);
|
file |
diff |
annotate
|
| Tue, 16 Nov 2021 21:21:15 +0100 |
wenzelm |
just one Presentation.State for all sessions: avoid duplication of already presented theories (very slow) and cached theory export (not very slow);
|
file |
diff |
annotate
|
| Sun, 14 Nov 2021 15:21:40 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 12 Nov 2021 16:49:28 +0100 |
wenzelm |
clarified HTML_Context: more explicit directory structure;
|
file |
diff |
annotate
|
| Fri, 12 Nov 2021 13:36:35 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 11 Nov 2021 21:54:28 +0100 |
wenzelm |
clarified signature: avoid potential misunderstanding of Resources.empty as proper Resources;
|
file |
diff |
annotate
|
| Mon, 08 Nov 2021 12:45:35 +0100 |
wenzelm |
just one cache, via HTML_Context, via Sessions.Store or Session;
|
file |
diff |
annotate
|
| Sat, 06 Nov 2021 15:25:20 +0100 |
wenzelm |
use all entity kinds from theory export, e.g. "method", "attribute";
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 22:43:29 +0100 |
wenzelm |
avoid multiple copies of fonts;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 12:55:49 +0100 |
wenzelm |
clarified order: prefer bottom-up construction of partial content;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 12:36:00 +0100 |
wenzelm |
more thorough update_global_index: overwrite old content;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 12:25:28 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 12:11:30 +0100 |
wenzelm |
clarified HTML_Context: just one context type;
|
file |
diff |
annotate
|
| Thu, 04 Nov 2021 19:22:11 +0100 |
wenzelm |
clarified Theory_Cache: prefer immutable data with Synchronized variable;
|
file |
diff |
annotate
|
| Wed, 03 Nov 2021 21:06:04 +0100 |
wenzelm |
improved HTML presentation by Fabian Huch;
|
file |
diff |
annotate
|
| Mon, 13 Sep 2021 11:52:32 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 07 Jun 2021 11:42:05 +0200 |
wenzelm |
allow system option short form NAME for NAME=true for type string, not just bool;
|
file |
diff |
annotate
|
| Fri, 04 Jun 2021 23:30:46 +0200 |
wenzelm |
allow build session setup, e.g. for protocol handlers;
|
file |
diff |
annotate
|
| Fri, 04 Jun 2021 22:58:38 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Tue, 25 May 2021 23:58:49 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Mon, 24 May 2021 11:58:06 +0200 |
wenzelm |
clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");
|
file |
diff |
annotate
|
| Sun, 23 May 2021 22:46:30 +0200 |
wenzelm |
syslog option for "isabelle build";
|
file |
diff |
annotate
|
| Wed, 19 May 2021 10:41:28 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 16 May 2021 13:34:27 +0200 |
wenzelm |
tuned signature --- following hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:10:56 +0200 |
wenzelm |
tuned signature -- more explicit types;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 18:04:16 +0100 |
wenzelm |
more robust ordering (see also 88c96e836ed6);
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 16:23:34 +0100 |
wenzelm |
proper scala.collection.immutable;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 23:17:47 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 14:21:18 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 03 Jan 2021 16:21:59 +0100 |
wenzelm |
clarified HTML presentation elements;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2021 00:05:25 +0100 |
wenzelm |
more verbosity for potentially bulky presentation;
|
file |
diff |
annotate
|
| Sun, 27 Dec 2020 15:11:06 +0100 |
wenzelm |
clarified HTML presentation, e.g. avoid bulky jobs like HOL or HOL-Analysis in applications;
|
file |
diff |
annotate
|
| Wed, 23 Dec 2020 23:19:09 +0100 |
wenzelm |
more robust defaults: spurious problems with parallel invocations and interrupts;
|
file |
diff |
annotate
|
| Wed, 23 Dec 2020 23:08:57 +0100 |
wenzelm |
more interrupts;
|
file |
diff |
annotate
|
| Sun, 20 Dec 2020 15:47:54 +0100 |
wenzelm |
present auxiliary files with PIDE markup;
|
file |
diff |
annotate
|
| Tue, 08 Dec 2020 17:30:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 17:23:33 +0100 |
wenzelm |
clarified options: batch-build has pide_reports disabled by default (requires significant resources);
|
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:57:54 +0100 |
wenzelm |
more interrupts;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 17:30:44 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 16:22:35 +0100 |
wenzelm |
clarified messages;
|
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:12:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 21:39:55 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 21:34:13 +0100 |
wenzelm |
store documents within session database, instead of browser_info directory;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 15:52:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 13:16:08 +0100 |
wenzelm |
more explicit presentation directory;
|
file |
diff |
annotate
|
| Tue, 17 Nov 2020 23:26:41 +0100 |
wenzelm |
simplified/clarified persistent session information;
|
file |
diff |
annotate
|
| Tue, 17 Nov 2020 22:57:56 +0100 |
wenzelm |
refer to command_timings/last_timing via resources;
|
file |
diff |
annotate
|
| Tue, 17 Nov 2020 22:05:59 +0100 |
wenzelm |
more uniform Resources.init_session via YXML;
|
file |
diff |
annotate
|