Download all sessions: afp-current.tar.gz (~70 MB)
Please use the sourceforge download system to access older versions of the archive.
At Heptapod (development version of the Archive, for the development version of Isabelle)
The metadata of all entries is available as an array of JSON objects: metadata.json (~1 MB)
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.