| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Nettoyage suite à la détection par défaut des variables inutilisées par o... |  herbelin | 2005-11-08 |
| * | Correction bug #922 (problème dans depend) + formattage débogueur | herbelin | 2005-02-17 |
| * | Bug transformation assert dans commit précédent | herbelin | 2004-12-29 |
| * | Utilisation d'entiers en précision arbitraire pour le noyau d'omega (cf #898) | herbelin | 2004-12-27 |
| * | Remplacement du coeur d'omega (omega.ml) par la version plus gnrale utilise p... | herbelin | 2004-12-27 |
| * | Nouvelle en-tête | herbelin | 2004-07-16 |
| * | 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 |