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



Makarius wrote:
> In
> https://bitbucket.org/isabelle_project/isabelle-release/commits/1aef5a0e18d7
> 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.

Cheers,

Bertram




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