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

On 16/12/16 05:54, Thomas.Sewell at 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.


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