| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | maj |  coq | 2006-03-05 |
| * | maj | coq | 2006-03-02 |
| * | maj | coq | 2006-02-27 |
| * | dp: sortie Why |  filliatr | 2006-02-27 |
| * | maj | coq | 2006-02-22 |
| * | maj | coq | 2006-02-21 |
| * | maj | coq | 2006-02-20 |
| * | maj | coq | 2006-02-17 |
| * | maj | coq | 2006-02-09 |
| * | maj | coq | 2006-02-08 |
| * | Julien: |  bertot | 2006-02-08 |
| * | maj | coq | 2006-02-07 |
| * | maj | coq | 2006-02-04 |
| * | maj | coq | 2006-02-03 |
| * | maj | coq | 2006-02-01 |
| * | New version of functional induction / inversion. By Julien Forest, | coq | 2006-02-01 |
| * | maj | coq | 2006-01-31 |
| * | maj | coq | 2006-01-30 |
| * | 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 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |