aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* majGravatar coq2005-09-02
* majGravatar coq2005-09-01
* majGravatar coq2005-08-31
* majGravatar coq2005-08-30
* majGravatar coq2005-08-29
* majGravatar coq2005-08-28
* majGravatar coq2005-08-27
* majGravatar coq2005-08-26
* *** empty log message ***Gravatar letouzey2005-08-26
* majGravatar coq2005-08-25
* majGravatar coq2005-08-24
* majGravatar coq2005-08-23
* majGravatar coq2005-08-22
* argument inutilisé de zip: toujours l'identitéGravatar letouzey2005-08-22
* majGravatar coq2005-08-21
* majGravatar coq2005-08-20
* majGravatar coq2005-08-19
* pas besoin de List.length pour savoir si une liste est videGravatar letouzey2005-08-19
* Sur le conseil de X.Leroy: x=[||] devient Array.length x=0Gravatar letouzey2005-08-19
* majGravatar coq2005-08-18
* code cleaning. No changes as far as tested.Gravatar coq2005-08-18
* majGravatar coq2005-08-17
* majGravatar coq2005-08-17
* new congruenceGravatar corbinea2005-08-17
* majGravatar coq2005-08-16
* majGravatar coq2005-08-15
* majGravatar coq2005-08-14
* majGravatar coq2005-08-13
* majGravatar coq2005-08-12
* majGravatar coq2005-08-11
* majGravatar coq2005-08-10
* majGravatar coq2005-08-09
* majGravatar coq2005-08-08
* majGravatar coq2005-08-07
* majGravatar coq2005-08-06
* majGravatar coq2005-08-05
* majGravatar coq2005-08-04
* majGravatar coq2005-08-03
* majGravatar coq2005-08-02
* majGravatar coq2005-08-02
* majGravatar coq2005-08-02
* majGravatar coq2005-08-02
* majGravatar coq2005-08-02
* Procédure d'ajout d'une nouvelle contributions utilisateurGravatar herbelin2005-08-01
* Add two .bat scripts to run coq and coqide under windows without changing aut...Gravatar narboux2005-07-25
* rename INSTALL.win INSTALL.txt to ease openingGravatar narboux2005-07-25
* majGravatar coq2005-07-24
* majGravatar coq2005-07-23
* majGravatar coq2005-07-22
* majGravatar coq2005-07-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-27 20:21:22 +0000