| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | maj |  coq | 2006-01-28 |
| * | maj | coq | 2006-01-24 |
| * | maj | coq | 2006-01-21 |
| * | maj | coq | 2006-01-16 |
| * | dans la liste des cmo pour dev/printers.cma, manquait proofs/tacexpr.cmo |  letouzey | 2006-01-16 |
| * | maj | coq | 2006-01-12 |
| * | maj | coq | 2006-01-11 |
| * | Restructuration et simplification des fonctions d'affichage, de détypage |  herbelin | 2006-01-11 |
| * | maj | coq | 2006-01-08 |
| * | maj | coq | 2006-01-07 |
| * | maj | coq | 2006-01-04 |
| * | maj | coq | 2005-12-31 |
| * | maj | coq | 2005-12-28 |
| * | maj | coq | 2005-12-27 |
| * | maj | coq | 2005-12-26 |
| * | Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*... | herbelin | 2005-12-26 |
| * | Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme... | herbelin | 2005-12-26 |
| * | maj | coq | 2005-12-25 |
| * | maj | coq | 2005-12-21 |
| * | maj | coq | 2005-12-20 |
| * | maj | coq | 2005-12-17 |
| * | Changement des named_context |  gregoire | 2005-12-02 |
| * | maj | coq | 2005-11-28 |
| * | maj | coq | 2005-11-18 |
| * | maj | coq | 2005-11-17 |
| * | A la demande de Julien Forest | letouzey | 2005-11-17 |
| * | maj | coq | 2005-11-08 |
| * | maj | coq | 2005-11-07 |
| * | Modifications in the .depend files for the contrib/recdef directory |  bertot | 2005-11-07 |
| * | Adds tools to help in defining new general recursive functions | bertot | 2005-11-07 |
| * | maj | coq | 2005-11-02 |
| * | maj | coq | 2005-10-27 |
| * | maj | coq | 2005-09-09 |
| * | maj | coq | 2005-08-17 |
| * | new congruence |  corbinea | 2005-08-17 |
| * | maj | coq | 2005-08-02 |
| * | maj | coq | 2005-08-02 |
| * | maj | coq | 2005-08-02 |
| * | maj | coq | 2005-07-15 |
| * | Subtac: traitement correct des existentielles et de la récursion. | coq | 2005-07-15 |
| * | reflexive tauto | corbinea | 2005-07-15 |
| * | maj | coq | 2005-07-14 |
| * | maj | coq | 2005-07-13 |
| * | maj | coq | 2005-07-13 |
| * | maj | coq | 2005-06-24 |
| * | maj | coq | 2005-06-15 |
| * | maj | coq | 2005-06-09 |
| * | maj | coq | 2005-06-07 |
| * | maj | coq | 2005-06-05 |
| * | maj | coq | 2005-05-25 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |