| Tue, 05 Mar 2024 16:06:06 +0100 |
wenzelm |
prefer dynamic objects, following a5fda30edae2;
|
file |
diff |
annotate
|
| Sun, 12 Nov 2023 12:26:08 +0100 |
wenzelm |
tuned signature: more operations;
|
file |
diff |
annotate
|
| Tue, 20 Jun 2023 14:25:06 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 26 Mar 2023 12:46:15 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Tue, 28 Feb 2023 17:42:13 +0100 |
wenzelm |
clarified signature: allow to provide session_heaps by different means, e.g. from tmp directory or alternative session structure;
|
file |
diff |
annotate
|
| Wed, 01 Feb 2023 10:54:29 +0100 |
wenzelm |
more uniform use of Symbol.output, even in situations where its Symbol.encode is usually redundant;
|
file |
diff |
annotate
|
| Mon, 30 Jan 2023 15:02:38 +0100 |
wenzelm |
observe option "show_states" in headless server (see also 951abf9db857);
|
file |
diff |
annotate
|
| Fri, 27 Jan 2023 16:48:19 +0100 |
wenzelm |
prefer typed/strict operations;
|
file |
diff |
annotate
|
| Wed, 04 Jan 2023 15:02:48 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 04 Jan 2023 14:50:11 +0100 |
wenzelm |
tuned signature: avoid confusion with Document.Node.Blob and Command.Blob;
|
file |
diff |
annotate
|
| Wed, 04 Jan 2023 14:26:30 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 03 Jan 2023 16:53:43 +0100 |
wenzelm |
clarified signature: avoid somewhat fragile Document.Node.Name.master_dir_path;
|
file |
diff |
annotate
|
| Sun, 01 Jan 2023 22:54:40 +0100 |
wenzelm |
tuned signature, following Url.append_path;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2022 13:52:44 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2022 16:34:13 +0100 |
wenzelm |
clarified state document nodes for Theories_Status / Document_Dockable;
|
file |
diff |
annotate
|
| Mon, 19 Dec 2022 11:42:45 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 17 Dec 2022 16:41:54 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sat, 17 Dec 2022 16:40:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2022 18:12:48 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2022 17:51:52 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2022 17:30:29 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2022 22:39:44 +0200 |
wenzelm |
more robust, e.g. for "isabelle dump";
|
file |
diff |
annotate
|
| Mon, 17 Oct 2022 22:32:19 +0200 |
wenzelm |
more robust, e.g. for "isabelle dump";
|
file |
diff |
annotate
|
| Mon, 17 Oct 2022 22:24:32 +0200 |
wenzelm |
more robust, e.g. for "isabelle dump";
|
file |
diff |
annotate
|
| 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
|