Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |