Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Bug in replace tactics introduced in r9073 (overlap between replace .. with a... | jforest | 2006-08-23 |
* | Forgot a file in previous commit | jforest | 2006-08-22 |
* | Compatibilité ocamlweb pour cible doc | herbelin | 2005-01-21 |
* | Hugly temporary notation | sacerdot | 2004-09-29 |
* | New: (temporary) concrete syntax to specify the morphism signature: | sacerdot | 2004-09-24 |
* | Nouvelle en-tête | herbelin | 2004-07-16 |
* | moved instantiate binding to extratactics | corbinea | 2004-06-29 |
* | Code obsolete | herbelin | 2003-11-08 |
* | Réforme de l'interprétation des termes : | herbelin | 2002-11-14 |
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin | 2002-05-29 |