| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | amelioration de la generation des unsafeCoerce |  letouzey | 2005-12-01 |
| * | Nouvelle en-tête |  herbelin | 2004-07-16 |
| * | Extraction des modules, enfin ! | letouzey | 2003-01-22 |
| * | code cleanup (+ debut de commencement de modules) | letouzey | 2002-12-05 |
| * | Remaniement du pp, suite: vers un renommage modulaire correcte | letouzey | 2002-11-28 |
| * | Reorganisation du pretty-print: | letouzey | 2002-11-28 |
| * | L'extraction c'est magic cvs -n up | letouzey | 2002-10-31 |
| * | extraction vers scheme | letouzey | 2002-06-07 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |