| Fri, 17 Nov 2023 14:38:35 +0100 |
Fabian Huch |
clarified toml parser interface;
|
file |
diff |
annotate
|
| Fri, 17 Nov 2023 10:11:15 +0100 |
Fabian Huch |
unify error messages;
|
file |
diff |
annotate
|
| Fri, 17 Nov 2023 09:38:15 +0100 |
Fabian Huch |
add file information to toml parse context and error messages;
|
file |
diff |
annotate
|
| Fri, 17 Nov 2023 09:23:28 +0100 |
Fabian Huch |
add position information to toml parser and error messages;
|
file |
diff |
annotate
|
| Thu, 16 Nov 2023 15:36:34 +0100 |
Fabian Huch |
properly concatenate toml files: regular toml rules still apply (e.g., inline values may not be changed), but values defined in one file may be updated in another;
|
file |
diff |
annotate
|
| Thu, 16 Nov 2023 15:23:41 +0100 |
Fabian Huch |
allow re-defining keys in toml object (already checked during parse time);
|
file |
diff |
annotate
|
| Thu, 16 Nov 2023 15:19:24 +0100 |
Fabian Huch |
clarified toString for toml objects;
|
file |
diff |
annotate
|
| Sat, 11 Nov 2023 21:06:54 +0100 |
wenzelm |
more TODO;
|
file |
diff |
annotate
|
| Sat, 11 Nov 2023 18:39:57 +0100 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Sat, 11 Nov 2023 13:31:14 +0100 |
wenzelm |
support for global registry;
|
file |
diff |
annotate
|
| Thu, 09 Nov 2023 14:28:17 +0100 |
wenzelm |
clarified signature: emphasize mutable instance;
|
file |
diff |
annotate
|
| Wed, 08 Nov 2023 19:04:44 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 08 Nov 2023 16:05:22 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Wed, 08 Nov 2023 15:10:19 +0100 |
wenzelm |
more direct indentation, using Symbol.spaces;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 17:19:19 +0200 |
wenzelm |
clarified signature: prefer enum types;
|
file |
diff |
annotate
|
| Fri, 14 Jul 2023 09:32:44 +0200 |
Fabian Huch |
tuned error message;
|
file |
diff |
annotate
|
| Thu, 13 Jul 2023 10:36:27 +0200 |
Fabian Huch |
tuned error messages;
|
file |
diff |
annotate
|
| Thu, 13 Jul 2023 09:51:10 +0200 |
Fabian Huch |
more TOML formatting functions;
|
file |
diff |
annotate
|
| Wed, 12 Jul 2023 21:47:14 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Wed, 12 Jul 2023 21:07:21 +0200 |
Fabian Huch |
added TOML module from afp;
|
file |
diff |
annotate
|