Re: [isabelle] Slow startup if AFP in ROOTS



Is there any way to alleviate this for the moment? Or will I just have
to accept long startup times whenever I need to work with the AFP?

Cheers,
Josh

On 7/18/19 3:38 PM, Makarius wrote:
> 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.
>
>
> 	Makarius




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