Download the Archive

 

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.