aboutsummaryrefslogtreecommitdiffhomepage
path: root/.depend.coq
Commit message (Expand)AuthorAge
* Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7...Gravatar herbelin2003-11-29
* MAJGravatar herbelin2003-11-29
* majGravatar filliatr2003-11-27
* majGravatar filliatr2003-11-24
* majGravatar filliatr2003-11-22
* majGravatar filliatr2003-11-20
* ajout de Znumtheory.v dans ZArithGravatar letouzey2003-11-19
* MAJGravatar herbelin2003-11-14
* MAJGravatar herbelin2003-11-13
* majGravatar filliatr2003-11-13
* MAJGravatar herbelin2003-11-12
* majGravatar filliatr2003-11-08
* majGravatar filliatr2003-11-06
* MAJGravatar herbelin2003-11-05
* MAJGravatar herbelin2003-11-02
* *** empty log message ***Gravatar herbelin2003-10-29
* majGravatar filliatr2003-10-29
* Nouveaux fichiers dans LogicGravatar herbelin2003-10-28
* MAJGravatar herbelin2003-10-22
* MAJGravatar herbelin2003-10-21
* majGravatar filliatr2003-10-10
* Renommage en v8 de PolyList en List et List en MonoListGravatar herbelin2003-10-10
* majGravatar filliatr2003-10-04
* Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...Gravatar herbelin2003-09-23
* majGravatar filliatr2003-09-23
* Suppression DatatypesSyntax et PeanoSyntax qui était videsGravatar herbelin2003-09-12
* majGravatar filliatr2003-07-09
* majGravatar filliatr2003-06-25
* dependcoq integre les fichiers de fsetsGravatar letouzey2003-06-14
* majGravatar filliatr2003-06-14
* FSets, mais pas compile' par make worldGravatar filliatr2003-06-13
* quelques adaptations de Zarith en vu de la nouvelle librarie FSetGravatar letouzey2003-06-13
* majGravatar filliatr2003-06-11
* Concentration des notations officielles dans Init/Notations; restructuration ...Gravatar herbelin2003-05-21
* majGravatar filliatr2003-05-14
* Nouveaux lemmes (sur proposition de Nijmegen)Gravatar herbelin2003-05-13
* majGravatar filliatr2003-04-30
* majGravatar filliatr2003-04-18
* majGravatar filliatr2003-04-10
* MAJ pour Reals/SeqSeries.vGravatar desmettr2003-02-14
* MAJ pour renommage RcompletGravatar desmettr2003-01-22
* Binome.v -> Binomial.vGravatar desmettr2003-01-21
* *** empty log message ***Gravatar desmettr2003-01-16
* renommage de TAF.v en MVT.vGravatar desmettr2003-01-16
* Renommage de RealsB en RbaseGravatar desmettr2003-01-16
* majGravatar filliatr2003-01-07
* bit vectorsGravatar filliatr2003-01-06
* majGravatar filliatr2002-11-28
* Réorganisation de la librairie des réelsGravatar desmettr2002-11-27
* Réorganisation de la librairie des réelsGravatar desmettr2002-11-27