Re: [isabelle] Slow startup if AFP in ROOTS

On 18/07/2019 15:35, Joshua Chen wrote:
> I find that the time and CPU usage during Isabelle startup increases
> greatly if I have the AFP entry in my ROOTS file, factor ~3, is this
> normal? This happens both on Isabelle2018 and 2019.

Yes. AFP is very big, and this is an indication that the approach to
explore all dependencies of sessions/theories on startup of the Prover
IDE will not scale much further.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.