diff --git a/metadata/templates/download.tpl b/metadata/templates/download.tpl --- a/metadata/templates/download.tpl +++ b/metadata/templates/download.tpl @@ -1,38 +1,50 @@ {% extends "base.tpl" %} {% block headline %} Download the Archive {% endblock %} {% block content %}
Current stable version (for current Isabelle release): |
afp-current.tar.gz | {% endif %}
Older stable versions: |
Please use the sourceforge download system to access older versions of the archive. |
Mercurial access: |
- At Bitbucket (development version of the Archive, for the development version of Isabelle) + 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. +
+
|
Download the Archive
+
+
+The AFP repository is hosted on Heptapod, a friendly fork of GitLab for Mercurial +provided by Octobus and +Clever Cloud. + +
+
+
+ |
+)9%+zrclFswWUw<8AqlecnfEs@+u+C6O
zQGVR}YIvEP<-S}|5E?eT<}BuFDSg~7SUf7SH1~?Vq`n^qp;zvGev)C_f4zSKZmv7m
ztJv9|ZT5_}s;h89nB+R1ANE>QkS9@lEstr|Z8@`$=0)5?l%8}uw