| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-11-29 | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7... | herbelin |
| 2003-11-29 | MAJ | herbelin |
| 2003-11-27 | maj | filliatr |
| 2003-11-24 | maj | filliatr |
| 2003-11-22 | maj | filliatr |
| 2003-11-20 | maj | filliatr |
| 2003-11-19 | ajout de Znumtheory.v dans ZArith | letouzey |
| 2003-11-14 | MAJ | herbelin |
| 2003-11-13 | MAJ | herbelin |
| 2003-11-13 | maj | filliatr |
| 2003-11-12 | MAJ | herbelin |
| 2003-11-08 | maj | filliatr |
| 2003-11-06 | maj | filliatr |
| 2003-11-05 | MAJ | herbelin |
| 2003-11-02 | MAJ | herbelin |
| 2003-10-29 | *** empty log message *** | herbelin |
| 2003-10-29 | maj | filliatr |
| 2003-10-28 | Nouveaux fichiers dans Logic | herbelin |
| 2003-10-22 | MAJ | herbelin |
| 2003-10-21 | MAJ | herbelin |
| 2003-10-10 | maj | filliatr |
| 2003-10-10 | Renommage en v8 de PolyList en List et List en MonoList | herbelin |
| 2003-10-04 | maj | filliatr |
| 2003-09-23 | Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type... | herbelin |
| 2003-09-23 | maj | filliatr |
| 2003-09-12 | Suppression DatatypesSyntax et PeanoSyntax qui était vides | herbelin |
| 2003-07-09 | maj | filliatr |
| 2003-06-25 | maj | filliatr |
| 2003-06-14 | dependcoq integre les fichiers de fsets | letouzey |
| 2003-06-14 | maj | filliatr |
| 2003-06-13 | 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-11 | maj | filliatr |
| 2003-05-21 | Concentration des notations officielles dans Init/Notations; restructuration ... | herbelin |
| 2003-05-14 | maj | filliatr |
| 2003-05-13 | Nouveaux lemmes (sur proposition de Nijmegen) | herbelin |
| 2003-04-30 | maj | filliatr |
| 2003-04-18 | maj | filliatr |
| 2003-04-10 | maj | filliatr |
| 2003-02-14 | MAJ pour Reals/SeqSeries.v | desmettr |
| 2003-01-22 | MAJ pour renommage Rcomplet | desmettr |
| 2003-01-21 | Binome.v -> Binomial.v | desmettr |
| 2003-01-16 | *** 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-07 | maj | filliatr |
| 2003-01-06 | bit vectors | filliatr |
| 2002-11-28 | maj | filliatr |
| 2002-11-27 | Réorganisation de la librairie des réels | desmettr |
| 2002-11-27 | Réorganisation de la librairie des réels | desmettr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/.depend.coq