| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Changed many refman/*.tex files. Put \label and \index commands that immediat... |  emakarov | 2007-04-17 |
| * | Doc for Combined Scheme. |  msozeau | 2006-12-23 |
| * | Updating the doc about Function and co |  courtieu | 2006-09-07 |
| * | Changements sur Functional xxx. Plus précis et plus exact. | courtieu | 2006-06-07 |
| * | Ajout de précisions dans la doc de functional scheme et consort + | courtieu | 2006-06-06 |
| * | Nettoyage de l'archive doc et restructuration avant intégration à l'archive |  herbelin | 2006-02-23 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |