| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Mise en place temporaire d'un afficheur de 'language' pour le traducteur |  herbelin | 2004-03-13 |
| * | Extraction Module M devient simplement Extraction M |  letouzey | 2003-11-12 |
| * | factorisation de (recursive) library | letouzey | 2003-11-09 |
| * | changement nouvelle syntaxe (pt fixes) |  barras | 2003-10-10 |
| * | 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 |