Re: [isabelle] New entry in the (moved!) AFP

On Tue, 26 Apr 2016, Lawrence Paulson wrote:

And please note that the AFP has a new URL:

The AFP has moved from SourceForge because of a lot of issues there.

At last!  With a delay of only 10 years after SourceForge issues started.


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