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 |