Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | maj | 2003-11-20 | ||
* | ajout de Znumtheory.v dans ZArith | 2003-11-19 | ||
* | MAJ | 2003-11-14 | ||
* | MAJ | 2003-11-13 | ||
* | maj | 2003-11-13 | ||
* | MAJ | 2003-11-12 | ||
* | maj | 2003-11-08 | ||
* | maj | 2003-11-06 | ||
* | MAJ | 2003-11-05 | ||
* | MAJ | 2003-11-02 | ||
* | *** empty log message *** | 2003-10-29 | ||
* | maj | 2003-10-29 | ||
* | Nouveaux fichiers dans Logic | 2003-10-28 | ||
* | MAJ | 2003-10-22 | ||
* | MAJ | 2003-10-21 | ||
* | maj | 2003-10-10 | ||
* | Renommage en v8 de PolyList en List et List en MonoList | 2003-10-10 | ||
* | maj | 2003-10-04 | ||
* | Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type... | 2003-09-23 | ||
* | maj | 2003-09-23 | ||
* | Suppression DatatypesSyntax et PeanoSyntax qui était vides | 2003-09-12 | ||
* | maj | 2003-07-09 | ||
* | maj | 2003-06-25 | ||
* | dependcoq integre les fichiers de fsets | 2003-06-14 | ||
* | maj | 2003-06-14 | ||
* | FSets, mais pas compile' par make world | 2003-06-13 | ||
* | quelques adaptations de Zarith en vu de la nouvelle librarie FSet | 2003-06-13 | ||
* | maj | 2003-06-11 | ||
* | Concentration des notations officielles dans Init/Notations; restructuration ... | 2003-05-21 | ||
* | maj | 2003-05-14 | ||
* | Nouveaux lemmes (sur proposition de Nijmegen) | 2003-05-13 | ||
* | maj | 2003-04-30 | ||
* | maj | 2003-04-18 | ||
* | maj | 2003-04-10 | ||
* | MAJ pour Reals/SeqSeries.v | 2003-02-14 | ||
* | MAJ pour renommage Rcomplet | 2003-01-22 | ||
* | Binome.v -> Binomial.v | 2003-01-21 | ||
* | *** empty log message *** | 2003-01-16 | ||
* | renommage de TAF.v en MVT.v | 2003-01-16 | ||
* | Renommage de RealsB en Rbase | 2003-01-16 | ||
* | maj | 2003-01-07 | ||
* | bit vectors | 2003-01-06 | ||
* | maj | 2002-11-28 | ||
* | Réorganisation de la librairie des réels | 2002-11-27 | ||
* | Réorganisation de la librairie des réels | 2002-11-27 | ||
* | maj | 2002-11-27 | ||
* | Option pour compiler une version 'light' des réels | 2002-11-26 | ||
* | Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior... | 2002-11-24 | ||
* | maj apres reparation d'un bug coqdep | 2002-11-15 | ||
* | maj | 2002-11-15 |