| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Cosmetic: no more whitespace at end of lines in extraction files |  letouzey | 2008-11-06 |
| * | Major reorganisation of the extraction "backend". | letouzey | 2007-10-17 |
| * | 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 |