diff --git a/metadata/templates/download.tpl b/metadata/templates/download.tpl --- a/metadata/templates/download.tpl +++ b/metadata/templates/download.tpl @@ -1,50 +1,50 @@ {% extends "base.tpl" %} {% block headline %} Download the Archive {% endblock %} {% block content %} {% if not is_devel %} {% endif %}

Current stable version (for current Isabelle release):

afp-current.tar.gz

Older stable versions:

Please use the sourceforge download system to access older versions of the archive.

Mercurial access:

- At Heptapod + At Heptapod (development version of the Archive, for the development version of Isabelle)

How to refer to AFP entries:

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.

{% endblock %} diff --git a/web/download.html b/web/download.html --- a/web/download.html +++ b/web/download.html @@ -1,116 +1,116 @@ Archive of Formal Proofs