| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | un paquet de corrections de bugs |  letouzey | 2004-10-04 |
| * | Nouvelle en-tête |  herbelin | 2004-07-16 |
| * | Modules et Records: gros changements pour prendre en compte le nouveau mind_r... | letouzey | 2004-06-28 |
| * | révision du traitement des axiomes non réalisés | letouzey | 2003-11-10 |
| * | BIG MAJ Extraction: | letouzey | 2003-04-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 |
| * | Gros Remaniement Extraction: | letouzey | 2002-07-16 |
| * | extraction vers scheme | letouzey | 2002-06-07 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |