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


Attachment: signature.asc
Description: OpenPGP digital signature

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