| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Traduction mlnames |  herbelin | 2003-08-14 |
| * | BIG MAJ Extraction: |  letouzey | 2003-04-16 |
| * | Extract Constant marche avec les axiomes schémas de types | letouzey | 2003-03-25 |
| * | Réforme de l'interprétation des termes : | herbelin | 2002-11-14 |
| * | Gros Remaniement Extraction: | letouzey | 2002-07-16 |
| * | extraction vers scheme | letouzey | 2002-06-07 |
| * | Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT EXTEND; rpar... | herbelin | 2002-06-05 |
| * | Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.v | herbelin | 2002-05-29 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |