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