| Age | Commit message (Expand) | Author |
|---|---|---|
| 2001-02-07 | Ajout du Match Context | delahaye |
| 2000-11-21 | Traitement du pretty-print des Redexp | delahaye |
| 2000-10-18 | Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d... | herbelin |
| 2000-10-03 | Renommage tactique Let en LetTac | herbelin |
| 2000-01-07 | Renommage command en constr | herbelin |
| 1999-12-06 | MAJ | herbelin |
| 1999-12-05 | pretty-print | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |