HomeIsabelle/Phabricator

properly concatenate toml files: regular toml rules still apply (e.g., inline…

Description

properly concatenate toml files: regular toml rules still apply (e.g., inline values may not be changed), but values defined in one file may be updated in another;