| Age | Commit message (Expand) | Author |
|---|---|---|
| 2001-08-07 | Ajout tactique TrueCut qui fait la coupure du calcul des séquents; nouvelle ... | herbelin |
| 2001-06-25 | Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ... | herbelin |
| 2001-04-12 | Ajout de _ dans les patterns d'intro | mohring |
| 2001-03-28 | amelioration de la structure des univers | barras |
| 2001-03-15 | entetes | filliatr |
| 2001-03-01 | Déplacement de qualid dans Nametab, hors du noyau | herbelin |
| 2001-02-16 | Prise en compte noms longs dans SuperAuto | herbelin |
| 2000-12-02 | Portage d'AutoRewrite | delahaye |
| 2000-10-18 | Renommage canonique : | herbelin |
| 2000-09-26 | Nettoyage pretyping; ise_resolve_* devient understand_*; Ajout d'une notion d... | herbelin |
| 2000-08-17 | Pattern matching de sous-termes | delahaye |
| 2000-06-28 | Modifs de presentation. | delahaye |
| 2000-05-03 | Ajout du langage de tactiques | delahaye |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |