| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Ajout andb_true_eq pour PolyList.list_beq |  herbelin | 2002-02-28 | |
| * | option -dump-glob pour coqdoc |  filliatr | 2002-02-14 | |
| * | Simplification de deux preuves. En outre ca simplifie leur extraction. |  letouzey | 2001-09-27 | |
| * | Expérimentation de NewDestruct et parfois NewInduction | herbelin | 2001-08-05 | |
| * | Mise de (*i autour CVS info |  mohring | 2001-04-19 | |
| * | Ajout de lemmes sur les booleens | mohring | 2001-03-30 | |
| * | entetes | filliatr | 2001-03-15 | |
| * | - coqc : option -image | filliatr | 2001-02-01 | |
| * | Elimination du ' |  delahaye | 2000-11-28 | |
| * | Plus besoin de débrancher la preuve qui ne passait pas | herbelin | 2000-11-05 | |
| * | Ajout du langage de tactiques | delahaye | 2000-05-03 | |
| * | portage Omega (mais toujours pas Zpower et Zlogarithm) | filliatr | 2000-05-02 | |
| * | mise sous CVS | filliatr | 2000-03-16 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |