src/Pure/General/toml.scala
Tue, 29 Aug 2023 17:19:19 +0200 wenzelm clarified signature: prefer enum types;
Fri, 14 Jul 2023 09:32:44 +0200 Fabian Huch tuned error message;
Thu, 13 Jul 2023 10:36:27 +0200 Fabian Huch tuned error messages;
Thu, 13 Jul 2023 09:51:10 +0200 Fabian Huch more TOML formatting functions;
Wed, 12 Jul 2023 21:47:14 +0200 wenzelm tuned whitespace;
Wed, 12 Jul 2023 21:07:21 +0200 Fabian Huch added TOML module from afp;
less more (0) tip