| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Deletion of contrib/extraction/test |  letouzey | 2007-07-12 |
| * | BIG MAJ Extraction: | letouzey | 2003-04-16 |
| * | changement du test extraction suite aux modif inining | letouzey | 2002-03-21 |
| * | refonte du test | letouzey | 2001-11-05 |
| * | Remaniement Makefile de test. make reals possible | letouzey | 2001-04-23 |
| * | blindage False_rec |  filliatr | 2001-04-19 |
| * | modifs des scripts de test auto | filliatr | 2001-04-19 |
| * | script de bench automatique pour extraction | letouzey | 2001-04-19 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |