| 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-12-02 | Changement des named_context | gregoire |
| 2005-11-08 | - debugging og "Show Intros": no line breaking + fresh ids | coq |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2004-01-02 | meilleure presentation des commentaires du traducteur | barras |
| 2003-10-22 | reorganisation des niveaux (ex: = est a 70) | barras |
| 2003-10-08 | Mise en place d'un couple 'Conjecture/Admitted' pour déclarer un énoncé in... | herbelin |
| 2003-10-02 | Hypothesis mot-cle | 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-06-17 | Ajout option Local aux Hint | herbelin |
| 2003-06-14 | Ajout option Local à Hint, Hints et HintDestruct | herbelin |
| 2003-03-12 | *** empty log message *** | barras |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |