| Wed, 24 Sep 2025 22:47:04 +0200 |
wenzelm |
build_progress with percentage;
|
file |
diff |
annotate
|
| Wed, 24 Sep 2025 17:41:36 +0200 |
wenzelm |
more informative Command_Span.Theory_Span;
|
file |
diff |
annotate
|
| Tue, 23 Sep 2025 12:36:36 +0200 |
wenzelm |
proper symbolic_path for nodes_domain;
|
file |
diff |
annotate
|
| Mon, 22 Sep 2025 22:02:59 +0200 |
wenzelm |
more thorough Command.State.exit vs. Command.init_state: avoid loss of information in Document.State.end_theory (notably Command_Timings);
|
file |
diff |
annotate
|
| Mon, 22 Sep 2025 14:01:37 +0200 |
wenzelm |
more detailed Command_Timings: count actual commands from theory body individually;
|
file |
diff |
annotate
|
| Sun, 21 Sep 2025 23:48:59 +0200 |
wenzelm |
basic setup for build progress with nodes_status;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2025 16:07:28 +0200 |
wenzelm |
tuned signature: more explicit operations;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2025 13:52:24 +0200 |
wenzelm |
clarified signature: more thorough treatment of all command_states;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2025 12:02:41 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2025 11:58:46 +0200 |
wenzelm |
more uniform Command_Status.theory_status vs. Node_Status.theory_status: cover all command_states, without special cases;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2025 11:23:50 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2025 10:39:53 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 06 Aug 2025 13:25:41 +0200 |
wenzelm |
clarified output;
|
file |
diff |
annotate
|
| Wed, 06 Aug 2025 10:55:41 +0200 |
wenzelm |
clarified output;
|
file |
diff |
annotate
|
| Tue, 05 Aug 2025 21:44:54 +0200 |
wenzelm |
more detailed export "PIDE/files": store offset of the load command, within the pro-forma loaded_theory_command --- this allows to restrict output messages for blobs;
|
file |
diff |
annotate
|
| Mon, 04 Aug 2025 13:34:41 +0200 |
wenzelm |
clarified signature: more self-contained operation;
|
file |
diff |
annotate
|
| Wed, 30 Jul 2025 13:44:52 +0200 |
wenzelm |
more accurate output, based on persistent "command_range" markup;
|
file |
diff |
annotate
|
| Tue, 29 Jul 2025 17:01:57 +0200 |
wenzelm |
more markup for batch build: command ranges with trailing whitespace;
|
file |
diff |
annotate
|
| Mon, 28 Jul 2025 16:10:02 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 27 Jul 2025 16:46:34 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 27 Jul 2025 16:41:25 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 27 Jul 2025 16:28:10 +0200 |
wenzelm |
more direct support for "command_span" markup property "is_begin";
|
file |
diff |
annotate
|
| Sat, 28 Jun 2025 15:55:35 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 27 Jun 2025 14:44:15 +0200 |
wenzelm |
tuned signature: more generic operations;
|
file |
diff |
annotate
|
| Mon, 23 Jun 2025 13:41:18 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sun, 10 Nov 2024 13:40:28 +0100 |
wenzelm |
minor performance tuning: avoid concatenation of existing string material;
|
file |
diff |
annotate
|
| Sat, 09 Nov 2024 21:34:38 +0100 |
wenzelm |
Document.Snapshot: support for multiple snippet_commands;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 12:53:28 +0200 |
wenzelm |
misc tuning: support "scalac -source 3.3";
|
file |
diff |
annotate
|
| Sun, 19 Feb 2023 13:47:10 +0100 |
wenzelm |
proper Nodes.init (amending 9b35c1171d9a);
|
file |
diff |
annotate
|
| Sun, 19 Feb 2023 13:43:38 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Sun, 19 Feb 2023 13:37:38 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 05 Feb 2023 15:59:18 +0100 |
wenzelm |
clarified signature selection: SortedSet[String], which fits better to stored json and works properly on Windows (NB: document theories have an authentic session-theory name);
|
file |
diff |
annotate
|
| Tue, 31 Jan 2023 20:37:46 +0100 |
wenzelm |
support document preparation from already loaded theories;
|
file |
diff |
annotate
|
| Tue, 31 Jan 2023 14:59:19 +0100 |
wenzelm |
defer build until document nodes are ready;
|
file |
diff |
annotate
|
| Wed, 18 Jan 2023 16:15:41 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 18 Jan 2023 16:04:51 +0100 |
wenzelm |
more efficient, thanks to persistent lazy data in Document.Node;
|
file |
diff |
annotate
|
| Wed, 18 Jan 2023 11:32:27 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 06 Jan 2023 16:43:51 +0100 |
wenzelm |
tuned signature: more uniform operations;
|
file |
diff |
annotate
|
| Fri, 06 Jan 2023 15:35:48 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Fri, 06 Jan 2023 14:59:59 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2023 22:16:13 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2023 20:13:04 +0100 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2023 20:07:22 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2023 19:41:12 +0100 |
wenzelm |
proper Node.init_blobs, not just edits (amending ca872f20cf5b);
|
file |
diff |
annotate
|
| Thu, 05 Jan 2023 17:00:22 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2023 16:44:15 +0100 |
wenzelm |
clarified session sources: theory and blobs are read from database, instead of physical file-system;
|
file |
diff |
annotate
|
| Wed, 04 Jan 2023 14:56:22 +0100 |
wenzelm |
tuned signature;
|
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
|