Re: [isabelle] Isabelle2015-RC3 and AFP



On Thu, 7 May 2015, Christian Sternagel wrote:

it seems the branch of the AFP into afp2015 and afp-devel did not yet take place, did it?

There was some earlier confusion, but with Isabelle2015-RC3 the situation was back to normal, althouth I did not announce this with that snapshot.

I am working routinely with hg.code.sf.net/p/afp/afp-2015 (currently at 4a7a946fa6c5).


	Makarius




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