| 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
|