| Mon, 17 Oct 2022 14:11:59 +0200 |
wenzelm |
avoid result based on outdated state, e.g. relevant for use_theories with changed files;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2022 20:33:59 +0200 |
wenzelm |
more robust treatment of state and events;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2022 19:12:27 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2022 16:09:33 +0200 |
wenzelm |
proper result state (amending 954640e846d6);
|
file |
diff |
annotate
|
| Sun, 16 Oct 2022 15:35:38 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2022 15:23:07 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2022 14:08:34 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2022 13:54:00 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2022 13:18:54 +0200 |
wenzelm |
tuned: clarified old_theory (in contrast to 4d5342898b1);
|
file |
diff |
annotate
|
| Sun, 16 Oct 2022 13:10:47 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2022 13:02:58 +0200 |
wenzelm |
more robust: active consumer for check_state/check_progress;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2022 16:09:05 +0200 |
wenzelm |
proper update of non-committed theories (see also 2bf1d0e57695, 2a1583baaaa0);
|
file |
diff |
annotate
|
| Sat, 15 Oct 2022 13:51:08 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 20 Aug 2022 13:35:17 +0200 |
wenzelm |
clarified signature: Sessions.Base_Info follows Sessions.Base;
|
file |
diff |
annotate
|
| Sat, 20 Aug 2022 13:28:31 +0200 |
wenzelm |
clarified signature: follow Sessions.Deps.check_errors (despite Process_Result.check);
|
file |
diff |
annotate
|
| Wed, 03 Aug 2022 12:18:55 +0200 |
wenzelm |
tuned signature -- avoid redundant arguments;
|
file |
diff |
annotate
|
| Wed, 03 Aug 2022 12:14:58 +0200 |
wenzelm |
tuned -- following hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Mon, 04 Apr 2022 23:46:14 +0200 |
wenzelm |
clarified signature: avoid ambiguity in scala3;
|
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
|
| Fri, 04 Jun 2021 22:46:11 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 13:04:29 +0100 |
wenzelm |
more informative errors: simplify diagnosis of spurious failures reported by users;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 12:14:40 +0100 |
wenzelm |
support for PIDE markup for auxiliary files ("blobs");
|
file |
diff |
annotate
|
| Tue, 01 Dec 2020 16:07:19 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 29 Nov 2020 14:57:15 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 16 Nov 2020 23:27:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 23 Jul 2020 14:25:48 +0200 |
wenzelm |
clarified order --- proper sorting of requirements;
|
file |
diff |
annotate
|
| Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|
| Mon, 06 Apr 2020 12:53:45 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 05 Apr 2020 13:05:40 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sat, 28 Mar 2020 14:01:45 +0100 |
wenzelm |
clarified Isabelle_Process phases;
|
file |
diff |
annotate
|
| Sat, 28 Mar 2020 12:06:37 +0100 |
wenzelm |
clarified signature: more robust startup_join;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 13:04:15 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 13:02:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 12:46:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 12:28:55 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 12:13:39 +0100 |
wenzelm |
clarified signature: more accurate session_base_info.sessions_structure;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 12:03:20 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 22:37:43 +0200 |
wenzelm |
clarified count_file;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 22:34:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 07 Oct 2019 21:51:31 +0200 |
wenzelm |
clarified option type;
|
file |
diff |
annotate
|
| Mon, 07 Oct 2019 17:20:26 +0200 |
wenzelm |
count document nodes via raw file length;
|
file |
diff |
annotate
|
| Mon, 07 Oct 2019 14:23:58 +0200 |
wenzelm |
clarified Load_State / load_limit;
|
file |
diff |
annotate
|
| Mon, 07 Oct 2019 13:58:18 +0200 |
wenzelm |
clarified Load_State;
|
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
|
| Mon, 07 Oct 2019 10:51:20 +0200 |
wenzelm |
count nodes uniformly: avoid overloaded session;
|
file |
diff |
annotate
|
| Mon, 07 Oct 2019 10:44:59 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 05 Oct 2019 15:34:54 +0200 |
wenzelm |
clarified options -- more scalable;
|
file |
diff |
annotate
|
| Wed, 02 Oct 2019 22:01:04 +0200 |
wenzelm |
prefer atomic edits -- potentially more robust;
|
file |
diff |
annotate
|
| Wed, 02 Oct 2019 21:27:51 +0200 |
wenzelm |
clarified signature -- potentially more robust;
|
file |
diff |
annotate
|
| Tue, 01 Oct 2019 11:29:03 +0200 |
wenzelm |
more sequential access to Session.manager.global_state: avoid minor divergence of tip version;
|
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 16:40:35 +0200 |
wenzelm |
support headless_load_limit for more scalable load process;
|
file |
diff |
annotate
|
| Mon, 30 Sep 2019 13:11:22 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Mon, 30 Sep 2019 12:52:16 +0200 |
wenzelm |
clarified incremental loading: requirements based on maximal nodes;
|
file |
diff |
annotate
|
| Mon, 30 Sep 2019 11:36:21 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|