Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ordre (symbolique) des Require | 2003-10-28 | |
* | Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type... | 2003-09-23 | |
* | Suppression DatatypesSyntax et PeanoSyntax qui était vides | 2003-09-12 | |
* | Deplacement delimiteur T dans Notations | 2003-06-10 | |
* | Concentration des notations officielles dans Init/Notations; restructuration ... | 2003-05-21 | |
* | Essai d'introduction d'un scope des types | 2002-12-03 | |
* | Mise en place d'ensembles de notations symboliques pour nat, Z et R | 2002-10-13 | |
* | MAJ des Id pour coqweb | 2002-01-09 | |
* | entetes | 2001-03-15 | |
* | fichiers prelude Coq | 1999-12-13 |