suppress duplicate entries systematically using log_name: e.g. relevant for AFP;

clarified operation: pick current pull_date instead of previous one;

operations AND, OR, XOR are specified by characteristic recursive equation

clarified toml keys operations;

tuned;

clarified toml keys: more operations;

use toml key operations properly; clarified module;

clarified toml keys formatting vs. toString;

clarified keys module;

pull out toml keys module;

clarified toml parser interface;

prefer symbolic build_history_base_arm;

build_history: proper support for ISABELLE_APPLE_PLATFORM64;

clarified isabelle_hg (again, see b9d59669904a);

clarified signature: explicit Remote_Build.count instead of duplicate entries (see also ee8c014526dc);

clarified signature: more operations and options concerning Isabelle hg;

performance tuning: cache graph;

tuned signature: fewer warnings in IntelliJ IDEA;

unused (see also 004b39bf06a5);

clarified signature and modules: more explicit Build_Log.History;

tuned: avoid recursion;

tuned;

avoid duplicate data;

output more data;

tuned whitespace;

clarified Log_File.cache: reuse existing Store.cache / Build_Log.Store.cache;

proper ml_statistics (amending aeb511a520f4);

unify error messages;

add file information to toml parse context and error messages;

add position information to toml parser and error messages;