| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Nettoyage de l'archive doc et restructuration avant intégration à l'archive |  herbelin | 2006-02-23 |
| * | MAJ V7.1 | herbelin | 2001-09-25 |
| * | Orthographe | herbelin | 2001-09-14 |
| * | Mise a jour |  mohring | 2001-04-25 |
| * | Ajout de IntMap | mohring | 2001-04-25 |
| * | Mise a jour V7 | mohring | 2001-04-25 |
| * | Fourier, Reals,... |  mayero | 2001-04-24 |
| * | Ajout de la partie extraction, passage du speller | mohring | 2001-04-24 |
| * | Fourier,... | mayero | 2001-04-24 |
| * | Ajout de Field |  delahaye | 2001-04-23 |
| * | Am�liorations | herbelin | 2000-12-27 |
| * | MAJ | herbelin | 2000-12-26 |
| * | Langage de tactiques, AutoRewrite, Tauto-Intuition + autres modifs | delahaye | 2000-12-25 |
| * | MAJ apr�s lecture par Christine; r��criture de la section 'Names' | herbelin | 2000-12-22 |
| * | Corrections | herbelin | 2000-12-22 |
| * | Version lisible | herbelin | 2000-12-21 |
| * | MAJ Search | herbelin | 2000-12-18 |
| * | Initial revision |  filliatr | 2000-12-12 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |