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.

Cheers,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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