Download the Archive

 

Current stable version (for current Isabelle release):

2008-07-26:   afp-current.tar.gz   [ 2.4M]

Older stable versions:

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

Development snapshot (for development snapshot of Isabelle):

2008-08-19: afp-devel.tar.gz   [ 2.4M] [entry status]

CVS access:

Please refer to the description on sourceforge. Use thys as module name. You can also browse the repository online