index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
.depend.coq
Commit message (
Expand
)
Author
Age
*
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
*
maj
filliatr
2002-11-27
*
Option pour compiler une version 'light' des réels
desmettr
2002-11-26
*
Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...
herbelin
2002-11-24
*
maj apres reparation d'un bug coqdep
letouzey
2002-11-15
*
maj
filliatr
2002-11-15
*
commit du calcul des dependances un peu plus robuste
barras
2002-10-15
*
maj
filliatr
2002-10-15
*
coqdep bogué, retour sur version 1.75
herbelin
2002-10-14
*
maj
filliatr
2002-10-14
*
Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...
herbelin
2002-10-13
*
maj
filliatr
2002-10-11
*
Ajout ClassicalFacts
herbelin
2002-10-10
*
maj
filliatr
2002-10-08
*
maj
filliatr
2002-10-07
*
maj
filliatr
2002-10-03
*
maj
filliatr
2002-10-02
*
maj
filliatr
2002-09-27
*
maj
filliatr
2002-09-20
*
maj
filliatr
2002-09-20
*
MAJ depend.coq
coq
2002-08-14
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
correction bugs Tauto
courant
2002-07-19
*
Correction bug Tauto : la regle pour (A->B)->C echouait quand C etait
courant
2002-07-15
*
maj
filliatr
2002-07-02
*
resynchronisation du .depend.coq
letouzey
2002-06-28
*
ZArith_base, Zbool, Bool_nat
filliatr
2002-06-20
*
deplacement contrib/correctness/ProgWf -> theories/ZArith/Zwf
filliatr
2002-06-19
*
extraction vers scheme
letouzey
2002-06-07
[next]