| Age | Commit message (Expand) | Author |
|---|---|---|
| 2007-03-22 | Correction des bugs #1455 et #1456 | notin |
| 2007-03-22 | Remove debugging code committed by accident | lmamane |
| 2007-03-22 | A tentative fix for bug #1455 | lmamane |
| 2006-05-26 | Support des modules dans Coqdoc | notin |
| 2006-05-02 | Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ... | notin |
| 2006-03-08 | r8620@thot: notin | 2006-03-08 11:44:16 +0100 | notin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |