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

Makarius 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:
> https://isabelle.sketis.net/repos/isabelle-release/rev/5eac4b13d1f1
> 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
incremental presentation.)


More information about the isabelle-dev mailing list