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