Download all sessions: afp-current.tar.gz (~70 MB)
Please use the sourceforge download system to access older versions of the archive.
The AFP repositories with tooling and metadata can be found at Heptapod.
In particular, the development version of the Archive
(for the development version of Isabelle) is available there.
You can refer to AFP entries by using the AFP as an Isabelle component.
The AFP repository is hosted on Heptapod, a friendly fork of GitLab for Mercurial provided by Octobus and Clever Cloud.