| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-04-28 | Standardisation du nom des méthodes de Evd | herbelin |
| 2006-01-16 | - Tactic "assert" now accepts "as" intro patterns and "by" tactic clauses | herbelin |
| 2005-12-02 | Changement des named_context | gregoire |
| 2004-09-15 | hiding the meta_map in evar_defs | barras |
| 2004-09-14 | evar tactic bugfix | corbinea |
| 2004-09-12 | inclusion de meta_map dans evar_defs | barras |
| 2004-09-08 | unification encore... | barras |
| 2004-08-03 | Protection contre un indice d'evar égal à 0 | herbelin |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2004-06-29 | moved instantiate binding to extratactics | corbinea |
| 2004-06-28 | more evar stuff | corbinea |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |