| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-02-04 | Instantiation of evars after instantiate (closes #1672). | glondu |
| 2007-05-29 | Correction d'un bug dans l'affichage du message d'erreur real_clean | herbelin |
| 2007-02-01 | Suppression de code mort | notin |
| 2006-09-20 | Declarative Proof Language: main commit | corbinea |
| 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 |