[isabelle-dev] [Afp-submit] AFP build times out in file/theory presentation
makarius at sketis.net
Wed Nov 17 00:41:15 CET 2021
On 16/11/2021 22:08, Makarius wrote:
> Moreover, this change will save a lot of Java heap:
> Thus we should be back to a half-decent situation.
Half-decent in that version means 2h for presentation.
(I will make one more round to see if the session dependency situation can be
further clarified. This will allow better persistance of results, e.g. for
More information about the isabelle-dev