Re: [isabelle] Failing afp-2015 build



On Tue, 8 Dec 2015, Gerwin Klein wrote:

ch.txt was meant to apply to afp-devel, correct?

Yes.


	Makarius





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