Fabian Huch <huch@in.tum.de> [Sat, 18 Nov 2023 19:22:30 +0100] rev 79006
tuned;
Fabian Huch <huch@in.tum.de> [Sat, 18 Nov 2023 19:16:16 +0100] rev 79005
clarified toml keys: more operations;
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);