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



On 16/12/16 05:54, Thomas.Sewell at data61.csiro.au wrote:
> 
> We're sorry we didn't notice how significant the impact was until after 
> the release.

Can you explain what went wrong in the release process?

The first release candidate on 01-Nov-2016, more than 6 weeks ago.


	Makarius






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