Re: [isabelle] Isabelle2016-1-RC3 removed theories



On 24/11/16 10:56, Florian Haftmann wrote:
> Hi Makarius,
> 
> the reported issue on Poly_Deriv.thy justifies a clarification of the
> NEWS (see below).
> 
> Can you take care of this?
> 
>> diff -r 1aef5a0e18d7 NEWS

Can you send me a formal changeset (hg export)?


	Makarius


Attachment: signature.asc
Description: OpenPGP digital signature



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