| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-09-21 | Mise en place d'implicites par noms en v8 | herbelin |
| 2003-09-12 | Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c... | herbelin |
| 2003-09-10 | Passage des projections au niveau 1 | herbelin |
| 2003-09-09 | Ajout construction If primitive dans constr_expr et rawconstr | herbelin |
| 2003-09-06 | Passage de lconstr à constr pour les arguments immédiat de commandes | herbelin |
| 2003-08-14 | Ajout token '!' pour correctness | herbelin |
| 2003-08-11 | Nouvelle mouture du traducteur v7->v8 | herbelin |
| 2003-06-11 | Token '.(' seulement pour v8, sinon conflit avec '.(*' | herbelin |
| 2003-06-10 | Ajout notation c.(f) en v8 pour les projections de Record | herbelin |
| 2003-05-21 | Fusion à l'essai de lmatch et lfun dans tacinterp; utilisation de noms pour ... | herbelin |
| 2003-05-19 | Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern | herbelin |
| 2003-04-29 | Factorisation des produits de même type; parenthèses autour des x:=c et n:=... | herbelin |
| 2003-03-12 | *** empty log message *** | barras |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |