---
title: Download the Archive
menu: 
    main:
        name: "Download"
        weight: 3
rss: false
---

### **Current stable version** (for most recent Isabelle release):

Download all sessions: {{< download href="https://www.isa-afp.org/release/afp-current.tar.gz" label="afp-current.tar.gz (~70 MB)" >}}

### Older stable versions:

Please use the [sourceforge download system](https://sourceforge.net/projects/afp/files/) to access older versions of the archive.

### Mercurial access:

The AFP repositories with tooling and metadata can be found at [Heptapod](https://foss.heptapod.net/isa-afp).
In particular, the [development version](https://foss.heptapod.net/isa-afp/afp-devel/) of the Archive 
(for the development version of Isabelle) is available there.

### How to refer to AFP entries:

You can refer to AFP entries by using the [AFP as an Isabelle component](/help).

The AFP repository is hosted on [Heptapod](https://foss.heptapod.net/), a friendly fork of GitLab for Mercurial provided by [Octobus](https://octobus.net) and [Clever Cloud](https://www.clever-cloud.com/en/).

![Octobus and Clever Cloud logos](/images/octobus+clever.png)
