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 (currently at 4a7a946fa6c5).


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