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

Archives shouldnât move too often, so weâve been very careful and conservative with this, but Iâm happy that we have finally moved ahead.

SF has had reliability issues for a long time, which Makarius is alluding to, and theyâve had malware issues more recently.

The new domain is controlled by us and should be stable for the future. Currently the site is hosted at TU Munich, but even if the physical server moves in the future, the URLs etc will remain stable.

Existing links to SF in papers and other locations are redirected automatically to their counterparts on, and we will keep maintaining a skeleton of the SF site to retain control and to make sure the redirects stay in place.


> On 26 Apr 2016, at 11:39 PM, Makarius <makarius at> wrote:
> 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.
>       Makarius


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

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