[isabelle-dev] [Afp-submit] AFP build times out in file/theory presentation
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
More information about the isabelle-dev