[isabelle-dev] [Afp-submit] AFP build times out in file/theory presentation

[Makarius]

On 16/11/2021 19:30, Tobias Nipkow wrote:
> 
> What I never understood is why incremental generation of presentations is no
> longer possible.

The situation is getting more and more complex.

Nonetheless, there is a plain and simple mistake somewhere in
Isabelle2021-RC3: afterwards it will be more incremental, but not maximally
incremental.


	Makarius