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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
