| Age | Commit message (Expand) | Author |
|---|---|---|
| 2005-11-03 | deplacement params_ind | mohring |
| 2005-11-02 | maj | coq |
| 2005-11-02 | maj | coq |
| 2005-11-02 | Types inductifs parametriques | mohring |
| 2005-11-02 | Test reproductibilité du bug #1031 | herbelin |
| 2005-11-02 | Correction bug invert_names (cf bug #1031) | herbelin |
| 2005-11-02 | Ajout tests interactifs | herbelin |
| 2005-11-01 | maj | coq |
| 2005-11-01 | Interactive test of Back | herbelin |
| 2005-11-01 | Correction bug #1030 (conséquence du commit 1.84 sur le discharge: add_froze... | herbelin |
| 2005-10-31 | maj | coq |
| 2005-10-30 | maj | coq |
| 2005-10-29 | maj | coq |
| 2005-10-28 | maj | coq |
| 2005-10-27 | maj | coq |
| 2005-10-27 | maj | coq |
| 2005-10-27 | catchable_exception laisse passer les InductiveError | werner |
| 2005-10-26 | maj | coq |
| 2005-10-25 | maj | coq |
| 2005-10-24 | maj | coq |
| 2005-10-23 | maj | coq |
| 2005-10-22 | maj | coq |
| 2005-10-21 | maj | coq |
| 2005-10-20 | maj | coq |
| 2005-10-20 | erreur coqdoc + headsep | mohring |
| 2005-10-19 | maj | coq |
| 2005-10-18 | maj | coq |
| 2005-10-17 | maj | coq |
| 2005-10-16 | maj | coq |
| 2005-10-15 | maj | coq |
| 2005-10-14 | maj | coq |
| 2005-10-13 | maj | coq |
| 2005-10-12 | maj | coq |
| 2005-10-11 | maj | coq |
| 2005-10-10 | maj | coq |
| 2005-10-09 | maj | coq |
| 2005-10-08 | maj | coq |
| 2005-10-07 | maj | coq |
| 2005-10-07 | Ajout maj répertoire d'archivage par version de Coq | herbelin |
| 2005-10-06 | maj | coq |
| 2005-10-06 | MAJ pauillac -> yquem | herbelin |
| 2005-10-05 | maj | coq |
| 2005-10-04 | maj | coq |
| 2005-10-03 | maj | coq |
| 2005-10-02 | maj | coq |
| 2005-10-01 | maj | coq |
| 2005-09-30 | maj | coq |
| 2005-09-29 | maj | coq |
| 2005-09-28 | maj | coq |
| 2005-09-27 | maj | coq |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |