| Age | Commit message (Expand) | Author |
|---|---|---|
| 2001-01-17 | MAJ | herbelin |
| 2000-12-26 | MAJ | herbelin |
| 2000-12-25 | Langage de tactiques, AutoRewrite, Tauto-Intuition + autres modifs | delahaye |
| 2000-12-25 | MAJ | herbelin |
| 2000-12-22 | Traduction en francais de 'CHANGES' dont le contenu était en français | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/CHANGEMENTS