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