Re: [isabelle] Performance regression in 2016-1 with character strings.

Usually there are a couple of weeksâ notice before the pre-release phase even startsâ couldnât at least some users choose that time to download the current development version to take a look at how it might affect their work?

Larry Paulson

> On 23 Dec 2016, at 04:25, Thomas.Sewell at wrote:
> However, the only strategy that has been considered yet is to wait long enough during the pre-release phase for all "serious users" to update their proofs.

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