| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Déplacement de qualid dans Nametab, hors du noyau |  herbelin | 2001-03-01 |
| * | Raffinement erreur Wrong Predicate | herbelin | 2000-12-14 |
| * | Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's... | herbelin | 2000-11-22 |
| * | Ajout erreur GlobalNotFound | herbelin | 2000-11-20 |
| * | Messages d'erreurs Cases | herbelin | 2000-10-10 |
| * | kernel/type_errors.ml | herbelin | 2000-09-06 |
| * | Passage à des contextes de vars et de rels pouvant contenir des déclarations | herbelin | 2000-07-24 |
| * | Bricoles | herbelin | 2000-06-29 |
| * | Afficahge des locations | herbelin | 2000-05-31 |
| * | - erreurs Pretype |  filliatr | 1999-12-10 |
| * | Suppression Rel de rawconstr et correction de bugs d'affichage | herbelin | 1999-12-10 |
| * | Ajout des messages d'erreurs de Cases | herbelin | 1999-12-09 |
| * | portage modules Evarconv et Evarutil | filliatr | 1999-11-29 |
| * | Modification pour faire compiler pretyping.ml qui maintenant compile | herbelin | 1999-11-26 |
| * | Versions initiales | herbelin | 1999-11-24 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |