Fri, 28 Jun 2024 11:37:13 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 28 Mar 2024 15:08:58 +0100 |
Fabian Huch |
tuned;
|
file |
diff |
annotate
|
Sat, 18 Nov 2023 19:23:56 +0100 |
Fabian Huch |
clarified toml keys operations;
|
file |
diff |
annotate
|
Sat, 18 Nov 2023 19:22:30 +0100 |
Fabian Huch |
tuned;
|
file |
diff |
annotate
|
Sat, 18 Nov 2023 19:16:16 +0100 |
Fabian Huch |
clarified toml keys: more operations;
|
file |
diff |
annotate
|
Sat, 18 Nov 2023 12:34:10 +0100 |
Fabian Huch |
use toml key operations properly;
|
file |
diff |
annotate
|
Sat, 18 Nov 2023 12:25:16 +0100 |
Fabian Huch |
clarified toml keys formatting vs. toString;
|
file |
diff |
annotate
|
Sat, 18 Nov 2023 12:18:44 +0100 |
Fabian Huch |
clarified keys module;
|
file |
diff |
annotate
|
Sat, 18 Nov 2023 12:08:16 +0100 |
Fabian Huch |
pull out toml keys module;
|
file |
diff |
annotate
|
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
|