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
*
*** 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
*
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
[next]