Re: [isabelle] Interpretation problems of locales with datatype declarations

Changsets 4b53042d7a40 and 072012fb4a10 solve the issue by generalizing
matters appropriately.  Their might still be a problem in the stack of
plugins, but at least it does not bite immediately.  I will anyway have
a closer look at that.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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