Re: [isabelle] Interpretation inside locale raises DUP

On Mon, 25 Nov 2013, Clemens Ballarin wrote:

Unfortunately, there is another locale bug, the diagnostic command 'print_interps <locale>' doesn't seem to work anymore either, but I haven't had time to look into that yet.

Do you have an example for that?  I did not find one looking 5min.

We need to figure it if and what to do here concerning the Isabelle2013-2 release, which is already the second attempt. The release process needs to terminate eventually.

I will probably make Isabelle2013-2-RC2 in 48 hours.


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