| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Make sure the initial state used in a protected loop is the state chose exactly |  bertot | 2001-02-13 |
| * | uniformisation messages d'erreur |  filliatr | 2000-11-27 |
| * | Déplacement de save_thm and co de PFedit vers Command |  herbelin | 2000-05-25 |
| * | Nettoyage de l'interface de Pfedit | herbelin | 2000-05-04 |
| * | premier debugage | filliatr | 1999-12-05 |
| * | - coqmktop | filliatr | 1999-12-03 |
| * | corrections pour ocamlweb | filliatr | 1999-09-28 |
| * | retablissement du toplevel | filliatr | 1999-09-28 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |