| Fri, 17 Nov 2023 09:23:28 +0100 | Fabian Huch | add position information to toml parser and error messages; | changeset | files |
| 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; | changeset | files |
| Thu, 16 Nov 2023 15:23:41 +0100 | Fabian Huch | allow re-defining keys in toml object (already checked during parse time); | changeset | files |
| Thu, 16 Nov 2023 15:19:24 +0100 | Fabian Huch | clarified toString for toml objects; | changeset | files |
| Thu, 16 Nov 2023 14:33:45 +0100 | nipkow | tuned | changeset | files |
| Mon, 13 Nov 2023 18:08:05 +0100 | Fabian Huch | tuned message; | changeset | files |
| Mon, 13 Nov 2023 17:48:11 +0100 | Fabian Huch | better invalidation for schedule cache (only on relevant changes); | changeset | files |