| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | cas des constructeurs singletons. Messages d'erreur. Revision de test_extract... |  letouzey | 2002-03-05 |
| * | Big commit extraction: | letouzey | 2002-03-04 |
| * | qq inline manuels (sigS_rec ...) + utilisation de library_part | letouzey | 2002-02-14 |
| * | correction de bugs concernant la gestion des modules. debranchement du test d... | letouzey | 2001-12-10 |
| * | petit oups | letouzey | 2001-11-12 |
| * | GROS COMMIT: |  barras | 2001-11-05 |
| * | Creation de Recursive Extarction Module | letouzey | 2001-11-03 |
| * | Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET... | letouzey | 2001-10-26 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |