| Age | Commit message (Expand) | Author |
|---|---|---|
| 2005-09-08 | Réparation bug #1000 (attendre fin de toutes les intros avant d'effacer les ... | herbelin |
| 2005-09-08 | Simplification message d'anomalie | herbelin |
| 2005-09-08 | Réparation bug #1004; nettoyage | herbelin |
| 2005-09-07 | maj | coq |
| 2005-09-06 | maj | coq |
| 2005-09-06 | Un vieux bug d'affichage des lieurs (cf bug #1005) | herbelin |
| 2005-09-05 | maj | coq |
| 2005-09-04 | maj | coq |
| 2005-09-03 | maj | coq |
| 2005-09-02 | maj | coq |
| 2005-09-01 | maj | coq |
| 2005-08-31 | maj | coq |
| 2005-08-30 | maj | coq |
| 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 |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |