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.

Tobias




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