> On 16 Nov 2021, at 7:16 pm, Tobias Nipkow <[email protected]> wrote: > > We are both right: in the log I looked at, the proofs only left 90 minutes > for the presentation until timeout (hence no upper bound), but as you point > out, if the proofs are shorter, the presentation part will happily use the > rest of the 4 hours.
Right, that explains the 90 min vs 4h, and it looks like Fabian has already identified a range of change sets that might be the cause. So apart from the fork, nothing specific needs to happen on the AFP side at the moment. Cheers, Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
