Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ne pas cacher les Metas d'une notations, ils peuvent être liant dans | 2002-11-26 | |
* | Réaffichage des Syntactic Definition (printer constr_expr). | 2002-11-26 | |
* | Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior... | 2002-11-24 | |
* | Autoriser les abbreviations de Cases | 2002-11-19 | |
* | Ajout de Cases dans abbreviatable constr (aconstr) [utilisé dans la | 2002-11-18 | |
* | Passage à une représentation des fixpoints plus primitive dans constr_expr ... | 2002-11-15 | |
* | Réforme de l'interprétation des termes : | 2002-11-14 |