Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;... | 2002-10-22 | |
* | Ajout "Arguments Scope" pour associer des "scopes" aux arguments d'une | 2002-10-14 | |
* | Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha... | 2002-10-13 | |
* | Pretty-printing preliminaire des modules, commandes | 2002-08-19 | |
* | Modules dans COQ\!\!\!\! | 2002-08-02 | |
* | Généralisation des syntaxes ': T := t', ':= t : T', ': T', ':= t' pour | 2002-07-11 | |
* | Intgration uniforme de coercions dans les dclarations (Variable and co) et re... | 2002-06-03 | |
* | Fichier des expressions de commandes vernaculaires | 2002-05-29 |