| Age | Commit message (Expand) | Author |
|---|---|---|
| 2005-08-29 | maj | coq |
| 2005-08-28 | maj | coq |
| 2005-08-27 | maj | coq |
| 2005-08-26 | maj | coq |
| 2005-08-26 | *** empty log message *** | letouzey |
| 2005-08-25 | maj | coq |
| 2005-08-24 | maj | coq |
| 2005-08-23 | maj | coq |
| 2005-08-22 | maj | coq |
| 2005-08-22 | argument inutilisé de zip: toujours l'identité | letouzey |
| 2005-08-21 | maj | coq |
| 2005-08-20 | maj | coq |
| 2005-08-19 | maj | coq |
| 2005-08-19 | pas besoin de List.length pour savoir si une liste est vide | letouzey |
| 2005-08-19 | Sur le conseil de X.Leroy: x=[||] devient Array.length x=0 | letouzey |
| 2005-08-18 | maj | coq |
| 2005-08-18 | code cleaning. No changes as far as tested. | coq |
| 2005-08-17 | maj | coq |
| 2005-08-17 | maj | coq |
| 2005-08-17 | new congruence | corbinea |
| 2005-08-16 | maj | coq |
| 2005-08-15 | maj | coq |
| 2005-08-14 | maj | coq |
| 2005-08-13 | maj | coq |
| 2005-08-12 | maj | coq |
| 2005-08-11 | maj | coq |
| 2005-08-10 | maj | coq |
| 2005-08-09 | maj | coq |
| 2005-08-08 | maj | coq |
| 2005-08-07 | maj | coq |
| 2005-08-06 | maj | coq |
| 2005-08-05 | maj | coq |
| 2005-08-04 | maj | coq |
| 2005-08-03 | maj | coq |
| 2005-08-02 | maj | coq |
| 2005-08-02 | maj | coq |
| 2005-08-02 | maj | coq |
| 2005-08-02 | maj | coq |
| 2005-08-02 | maj | coq |
| 2005-08-01 | Procédure d'ajout d'une nouvelle contributions utilisateur | herbelin |
| 2005-07-25 | Add two .bat scripts to run coq and coqide under windows without changing aut... | narboux |
| 2005-07-25 | rename INSTALL.win INSTALL.txt to ease opening | narboux |
| 2005-07-24 | maj | coq |
| 2005-07-23 | maj | coq |
| 2005-07-22 | maj | coq |
| 2005-07-21 | maj | coq |
| 2005-07-21 | Utilisation de la non-équivalence d'inductifs pour le case_info (cf message ... | herbelin |
| 2005-07-20 | maj | coq |
| 2005-07-18 | maj | coq |
| 2005-07-17 | maj | coq |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |