Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add occurence extra arg | 2008-01-30 | |
* | - Propagation des evars non résolues vers les with_bindings; permet par exemple | 2007-05-20 | |
* | Processor integers + Print assumption (see coqdev mailing list for the | 2007-05-11 | |
* | Bug in replace tactics introduced in r9073 (overlap between replace .. with a... | 2006-08-23 | |
* | Forgot a file in previous commit | 2006-08-22 | |
* | Compatibilité ocamlweb pour cible doc | 2005-01-21 | |
* | Hugly temporary notation | 2004-09-29 | |
* | New: (temporary) concrete syntax to specify the morphism signature: | 2004-09-24 | |
* | Nouvelle en-tête | 2004-07-16 | |
* | moved instantiate binding to extratactics | 2004-06-29 | |
* | Code obsolete | 2003-11-08 | |
* | Réforme de l'interprétation des termes : | 2002-11-14 | |
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | 2002-05-29 |