| Age | Commit message (Expand) | Author |
|---|---|---|
| 2005-12-26 | Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*... | herbelin |
| 2005-12-26 | Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis... | herbelin |
| 2005-01-13 | Construct "T with (Definition|Module) id := c" generalized to | sacerdot |
| 2004-12-24 | Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque... | herbelin |
| 2004-07-16 | Suppression quotify | herbelin |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2003-11-27 | Ajout ne_string | herbelin |
| 2003-09-12 | Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c... | herbelin |
| 2003-08-11 | Nouvelle mouture du traducteur v7->v8 | herbelin |
| 2003-03-12 | *** empty log message *** | barras |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |