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