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?
> 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