| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Globalisation de ce qui n'etait pas encore globalise |  herbelin | 2003-06-10 |
| * | patch Omega (bug 129) |  filliatr | 2002-01-25 |
| * | Correction de Pierre Crégut pour le bug MERGE_EQ | herbelin | 2002-01-21 |
| * | Bug MERGE_EQ | herbelin | 2002-01-18 |
| * | entetes | filliatr | 2001-03-15 |
| * | MODIFS pour compatibilité aussi 2.99 | herbelin | 2000-04-30 |
| * | mise sous CVS d'Omega | filliatr | 2000-04-28 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |