| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Amélioration de la gestion des chemins physiques (corrige au passage le bug ... |  notin | 2008-02-27 |
| * | Correction d'un bug de Coqdoc (indentation des lignes) | notin | 2008-02-25 |
| * | Correction d'un bug de Coqdoc + ajout de Include dans les mots clés reconnus... | notin | 2008-02-08 |
| * | Coqdoc patch for Program, fix xlate.ml warning and little subtac fixes. |  msozeau | 2007-01-29 |
| * | Correction bug #1204 + maj CHANGES | notin | 2006-10-04 |
| * | Support des modules dans Coqdoc | notin | 2006-05-26 |
| * | Adaptation de Coqdoc au nouveau add_glob | notin | 2006-05-24 |
| * | r8620@thot: notin | 2006-03-08 11:44:16 +0100 | notin | 2006-03-08 |
| * | Bug indexation des Require Import |  herbelin | 2004-08-03 |
| * | Nouvelle en-tête | herbelin | 2004-07-16 |
| * | indexation Record / bug gallina sur := en V8 |  filliatr | 2004-02-25 |
| * | coqdoc | filliatr | 2004-02-24 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |