Re: build.proof.cit.tum.de – Key (name)=(Shadow_DOM) already exists

[Achim D. Brucker]

Hi,
This is just a hunch: there are two theories named Shadow_DOM in two 
different AFP entries (and, hence, sessions). Could this be the problem, 
i.e., have any new restrictions regarding the uniqueness of theory names 
been introduced?

Achim

On 14/12/2025 09:56, Florian Haftmann wrote:
> There is a problem with the build system:
>
> https://build.proof.cit.tum.de/build?id=8d101909-6923-47f7-97a5-4fde4c3ba060 
>
>
> Any thoughts?
>     Florian