| description | Development branch of the Archive of Formal Proofs |
| owner | AFP editors: http://afp.sourceforge.net/about.shtml |
| last change | Wed, 16 Dec 2009 14:05:05 +0100 |
| 9 days ago | haftmann | explicit dest: predicate1D | changeset | files |
| 12 days ago | kleing | merged | changeset | files |
| 12 days ago | kleing | different naming scheme for afp releases | changeset | files |
| 12 days ago | kleing | remove references to ../Collections/bugfixes (now in release) | changeset | files |
| 12 days ago | kleing | auto sync with 2009-1 branch | changeset | files |
| 13 days ago | kleing | remove latex from html abstract | changeset | files |
| 13 days ago | kleing | merged | changeset | files |
| 13 days ago | kleing | use ssh instead, http seems to be lagging in time | changeset | files |
| 13 days ago | kleing | change location of release repos to SF | changeset | files |
| 13 days ago | kleing | merged | changeset | files |
| ... | |||
| ... |
| 9 days ago | 455ba1a107d9 | default | changeset | changelog | files |
| 3 months ago | bd128cd3ac7b | Isabelle2009 | changeset | changelog | files |
| ... | |||