Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Construct "T with (Definition|Module) id := c" generalized to | sacerdot | 2005-01-13 |
* | Nouvelle en-tête | herbelin | 2004-07-16 |
* | meilleure presentation des commentaires du traducteur | barras | 2004-01-02 |
* | Réforme de l'interprétation des termes : | herbelin | 2002-11-14 |