| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7... |  herbelin | 2003-11-29 |
| * | MAJ | herbelin | 2003-11-29 |
| * | maj |  filliatr | 2003-11-27 |
| * | maj | filliatr | 2003-11-24 |
| * | maj | filliatr | 2003-11-22 |
| * | maj | filliatr | 2003-11-20 |
| * | ajout de Znumtheory.v dans ZArith |  letouzey | 2003-11-19 |
| * | MAJ | herbelin | 2003-11-14 |
| * | MAJ | herbelin | 2003-11-13 |
| * | maj | filliatr | 2003-11-13 |
| * | MAJ | herbelin | 2003-11-12 |
| * | maj | filliatr | 2003-11-08 |
| * | maj | filliatr | 2003-11-06 |
| * | MAJ | herbelin | 2003-11-05 |
| * | MAJ | herbelin | 2003-11-02 |
| * | *** empty log message *** | herbelin | 2003-10-29 |
| * | maj | filliatr | 2003-10-29 |
| * | Nouveaux fichiers dans Logic | herbelin | 2003-10-28 |
| * | MAJ | herbelin | 2003-10-22 |
| * | MAJ | herbelin | 2003-10-21 |
| * | maj | filliatr | 2003-10-10 |
| * | Renommage en v8 de PolyList en List et List en MonoList | herbelin | 2003-10-10 |
| * | maj | filliatr | 2003-10-04 |
| * | Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type... | herbelin | 2003-09-23 |
| * | maj | filliatr | 2003-09-23 |
| * | Suppression DatatypesSyntax et PeanoSyntax qui était vides | herbelin | 2003-09-12 |
| * | maj | filliatr | 2003-07-09 |
| * | maj | filliatr | 2003-06-25 |
| * | dependcoq integre les fichiers de fsets | letouzey | 2003-06-14 |
| * | maj | filliatr | 2003-06-14 |
| * | FSets, mais pas compile' par make world | filliatr | 2003-06-13 |
| * | quelques adaptations de Zarith en vu de la nouvelle librarie FSet | letouzey | 2003-06-13 |
| * | maj | filliatr | 2003-06-11 |
| * | Concentration des notations officielles dans Init/Notations; restructuration ... | herbelin | 2003-05-21 |
| * | maj | filliatr | 2003-05-14 |
| * | Nouveaux lemmes (sur proposition de Nijmegen) | herbelin | 2003-05-13 |
| * | maj | filliatr | 2003-04-30 |
| * | maj | filliatr | 2003-04-18 |
| * | maj | filliatr | 2003-04-10 |
| * | MAJ pour Reals/SeqSeries.v |  desmettr | 2003-02-14 |
| * | MAJ pour renommage Rcomplet | desmettr | 2003-01-22 |
| * | Binome.v -> Binomial.v | desmettr | 2003-01-21 |
| * | *** empty log message *** | desmettr | 2003-01-16 |
| * | renommage de TAF.v en MVT.v | desmettr | 2003-01-16 |
| * | Renommage de RealsB en Rbase | desmettr | 2003-01-16 |
| * | maj | filliatr | 2003-01-07 |
| * | bit vectors | filliatr | 2003-01-06 |
| * | maj | filliatr | 2002-11-28 |
| * | Réorganisation de la librairie des réels | desmettr | 2002-11-27 |
| * | Réorganisation de la librairie des réels | desmettr | 2002-11-27 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |
path: root/.depend.coq