Hi Konrad, On Sun, 17 Nov 2019 at 11:45, Konrad Hinsen <konrad.hin...@fastmail.net> wrote:
> For a long version of these arguments, see > https://hal.archives-ouvertes.fr/hal-01966145/document Thank you for the pointer. I missed it months ago. :-) So, you propose to "enrich" the DSL describing the manifest files, right? All the best, simon