| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |