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 data61.csiro.au 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.