| Fri, 27 Jun 2025 14:41:18 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 24 Jun 2025 22:08:20 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 24 Jun 2025 20:52:09 +0200 |
wenzelm |
clarified signature: more explicit subtypes of Session, with corresponding subtypes of Resources;
|
file |
diff |
annotate
|
| Wed, 12 Feb 2025 00:40:57 +0100 |
wenzelm |
removed unused imports;
|
file |
diff |
annotate
|
| 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
|