Re: [isabelle] Isabelle2016-1-RC3: responsiveness of interrupting continuous checking
> 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