| Mon, 06 Feb 2023 14:54:15 +0100 |
wenzelm |
proper Shasum.digest, to emulate old form from build_history database;
|
file |
diff |
annotate
|
| Mon, 06 Feb 2023 12:58:45 +0100 |
wenzelm |
prefer explicit shasum;
|
file |
diff |
annotate
|
| Mon, 06 Feb 2023 10:58:07 +0100 |
wenzelm |
prefer explicit shasum;
|
file |
diff |
annotate
|
| Sun, 05 Feb 2023 13:57:27 +0100 |
wenzelm |
more robust dependencies for Pure;
|
file |
diff |
annotate
|
| Wed, 01 Feb 2023 22:54:48 +0100 |
wenzelm |
clarified message: old-style log is usually empty;
|
file |
diff |
annotate
|
| Fri, 06 Jan 2023 13:06:03 +0100 |
wenzelm |
treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2023 20:44:10 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Wed, 04 Jan 2023 13:39:40 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 03 Jan 2023 15:42:25 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 02 Jan 2023 16:02:16 +0100 |
wenzelm |
clarified session_sources (again, see also 9d0e6ea7aa68);
|
file |
diff |
annotate
|
| Mon, 02 Jan 2023 15:05:15 +0100 |
wenzelm |
clarified signature: more explicit types (see also 90c552d28d36);
|
file |
diff |
annotate
|
| Sun, 01 Jan 2023 21:44:08 +0100 |
wenzelm |
store session sources within build database: timing e.g. 150ms for HOL and < 50ms for common sessions;
|
file |
diff |
annotate
|
| Sat, 17 Dec 2022 19:19:10 +0100 |
wenzelm |
discontinued somewhat pointless dependency: avoid illusion of extra accuracy (see also 09fb749d1a1e and 0f750a6dc754);
|
file |
diff |
annotate
|
| Sat, 17 Dec 2022 19:09:46 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 17 Dec 2022 19:06:40 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 06 Nov 2022 20:56:05 +0100 |
wenzelm |
clarified delay -- more reactive;
|
file |
diff |
annotate
|
| Fri, 30 Sep 2022 21:03:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 26 Sep 2022 11:30:44 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 20:20:37 +0200 |
wenzelm |
clarified signature: re-use store/cache from build results;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 16:17:02 +0200 |
wenzelm |
proper filter (amending fb4215da4919);
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 14:14:45 +0200 |
wenzelm |
clarified conditions: no_build is ok for presentation if "all_current" holds;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 11:55:24 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 11:51:44 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 11:45:30 +0200 |
wenzelm |
clarified presentation_sessions: work with partial results;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 11:30:12 +0200 |
wenzelm |
tuned signature: removed unused operations;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 11:21:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 25 Aug 2022 15:30:21 +0200 |
wenzelm |
maintain "uuid" column in session build database, to identity the original build process uniquely;
|
file |
diff |
annotate
|
| Sun, 21 Aug 2022 13:16:44 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sun, 21 Aug 2022 13:12:25 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 21 Aug 2022 12:19:38 +0200 |
wenzelm |
clarified names: Browser_Info.Config vs. Browser_Info.Context;
|
file |
diff |
annotate
|
| Sun, 21 Aug 2022 11:59:25 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2022 20:11:15 +0200 |
wenzelm |
tuned messages (again, see d50c2129e73a): presentation setup could fail initially for take some time;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2022 20:07:41 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 18 Aug 2022 12:48:01 +0200 |
wenzelm |
more robust directory structure: always relative to session_dir;
|
file |
diff |
annotate
|
| Thu, 18 Aug 2022 11:43:27 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 17 Aug 2022 15:44:51 +0200 |
wenzelm |
clarified signature: replaced Sessions.Deps by Sessions.Structure from HTML_Context;
|
file |
diff |
annotate
|
| Wed, 17 Aug 2022 14:42:20 +0200 |
wenzelm |
clarified signature: avoid object-oriented HTML_Context;
|
file |
diff |
annotate
|
| Sun, 07 Aug 2022 23:06:29 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sun, 07 Aug 2022 12:22:43 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 06 Aug 2022 19:37:31 +0200 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
| Sat, 06 Aug 2022 17:28:59 +0200 |
wenzelm |
clarified signature: prefer Export.Context;
|
file |
diff |
annotate
|
| Sat, 06 Aug 2022 16:37:23 +0200 |
wenzelm |
prefer Export.Context/Session_Context/Theory_Context over Sessions.Database_Context;
|
file |
diff |
annotate
|
| Wed, 03 Aug 2022 12:10:52 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 30 Jul 2022 14:00:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 30 Jul 2022 13:58:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 30 Jul 2022 13:06:19 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sat, 30 Jul 2022 11:10:39 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 25 Nov 2021 21:31:50 +0100 |
wenzelm |
clarified default for kodkod_scala;
|
file |
diff |
annotate
|
| Mon, 22 Nov 2021 15:03:37 +0100 |
wenzelm |
more compact data during presentation: Entity_Context.Theory_Export instead of full Export_Theory.Theory;
|
file |
diff |
annotate
|
| Sun, 21 Nov 2021 17:42:11 +0100 |
wenzelm |
clarified system option standard values: avoid oddities like "isabelle build -o document_output" producing directories named "true";
|
file |
diff |
annotate
|
| Wed, 17 Nov 2021 20:49:09 +0100 |
wenzelm |
clarified HTML_Context.theory_exports: prefer value-oriented parallelism;
|
file |
diff |
annotate
|
| 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
|