| Current stable version (for current Isabelle
release): |
|
2012-05-11:
afp-current.tar.gz
[6.8M]
|
| Older stable versions: |
| Please use the sourceforge
download system to access older versions of the archive. |
| Development snapshot (for development snapshot
of Isabelle): |
|
2012-05-16:
afp-devel.tar.gz
[7.3M]
[entry status]
|
| Mercurial access: |
| Please refer to
the description
on sourceforge. You can also browse the
development repository online. |