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
This archive was generated by a fusion of
Pipermail (Mailman edition) and