Re: [isabelle] AFP 2014 released

On 29/08/2014 13:33, Christian Sternagel wrote:
> The download link, although labeled afp-2014-08-29.tar.gz does still point to
> afp-2014-07-18.tar.gz.

Thank you for letting us know. We have corrected that today. People who
downloaded the whole archive may want to do so again because they have a
slightly out-of-date version.


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