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: http://www.isa-afp.org/

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.


	Makarius




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