| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Made pretyping a functor over a coercion implementation. Pretyping.Default us... |  msozeau | 2006-03-22 |
| * | - Réintroduction d'un parseur de pattern (q_constr.ml4) à usage de |  herbelin | 2006-03-22 |
| * | Ajout de theories/FSets contenant la partie "light" de FSets et FMap: |  letouzey | 2006-03-15 |
| * | r8623@thot: notin | 2006-03-08 12:40:57 +0100 |  notin | 2006-03-08 |
| * | r8620@thot: notin | 2006-03-08 11:44:16 +0100 | notin | 2006-03-08 |
| * | 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 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |