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

Makarius makarius at sketis.net
Tue Nov 16 21:08:36 CET 2021


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



More information about the isabelle-dev mailing list