Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Suppression de code mort | 2007-02-01 | |
* | Declarative Proof Language: main commit | 2006-09-20 | |
* | Standardisation du nom des méthodes de Evd | 2006-04-28 | |
* | - Tactic "assert" now accepts "as" intro patterns and "by" tactic clauses | 2006-01-16 | |
* | Changement des named_context | 2005-12-02 | |
* | hiding the meta_map in evar_defs | 2004-09-15 | |
* | evar tactic bugfix | 2004-09-14 | |
* | inclusion de meta_map dans evar_defs | 2004-09-12 | |
* | unification encore... | 2004-09-08 | |
* | Protection contre un indice d'evar égal à 0 | 2004-08-03 | |
* | Nouvelle en-tête | 2004-07-16 | |
* | moved instantiate binding to extratactics | 2004-06-29 | |
* | more evar stuff | 2004-06-28 |