Fabian Huch <huch@in.tum.de> [Sat, 18 Nov 2023 12:34:10 +0100] rev 79004
use toml key operations properly;
clarified module;
Fabian Huch <huch@in.tum.de> [Sat, 18 Nov 2023 12:25:16 +0100] rev 79003
clarified toml keys formatting vs. toString;
Fabian Huch <huch@in.tum.de> [Sat, 18 Nov 2023 12:18:44 +0100] rev 79002
clarified keys module;
Fabian Huch <huch@in.tum.de> [Sat, 18 Nov 2023 12:08:16 +0100] rev 79001
pull out toml keys module;
Fabian Huch <huch@in.tum.de> [Fri, 17 Nov 2023 14:38:35 +0100] rev 79000
clarified toml parser interface;
wenzelm [Sun, 19 Nov 2023 20:45:09 +0100] rev 78999
prefer symbolic build_history_base_arm;
wenzelm [Sun, 19 Nov 2023 20:41:34 +0100] rev 78998
build_history: proper support for ISABELLE_APPLE_PLATFORM64;
wenzelm [Sun, 19 Nov 2023 19:41:17 +0100] rev 78997
clarified isabelle_hg (again, see b9d59669904a);
wenzelm [Sun, 19 Nov 2023 19:29:19 +0100] rev 78996
clarified signature: explicit Remote_Build.count instead of duplicate entries (see also ee8c014526dc);
wenzelm [Sun, 19 Nov 2023 15:15:09 +0100] rev 78995
clarified signature: more operations and options concerning Isabelle hg;