Re: [isabelle] Isabelle2016-1-RC3: responsiveness of interrupting continuous checking

Makarius wrote:
> In
> I have added a dalay_first element to improve this, but it also changes
> the overall timing behaviour PIDE. So it is important to keep an eye on
> this within the few remaining weeks before the final release.

Thanks, that has improved the behavior a lot. The response time feels
very close to Isabelle-2016 with this change.



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