Re: [isabelle] [Isabelle2016-1-RC4] Simplification of numerals very slow when Primes is imported



On 10/12/16 21:02, Florian Haftmann wrote:
> Am 10.12.2016 um 12:16 schrieb Makarius:
>>
>> How is the situation concerning the Isabelle2016-1 release? The original
>> plan was to make the final snapshot on Monday. If another change is
>> coming, we need to respin, i.e. make a new release candidate.
> 
> At the moment I am inclined to leave things as they are and have a close
> look after the release.

OK, so I will make the final Isabelle2016-1 release snapshot tomorrow
(in approx. 24h).


	Makarius



Attachment: signature.asc
Description: OpenPGP digital signature



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