| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Prise en compte nouveau case_info |  herbelin | 2000-03-21 |
| * | Nettoyage check_pos | herbelin | 2000-03-07 |
| * | Nouveaux types 'constructor' et 'inductive' dans Term; | herbelin | 1999-12-15 |
| * | debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes |  filliatr | 1999-12-07 |
| * | check_correct_par n'etait pas fait au bon endroit | filliatr | 1999-12-06 |
| * | explicitations erreurs inductifs | filliatr | 1999-12-05 |
| * | - Typing -> Safe_typing | filliatr | 1999-12-01 |
| * | modules Indrec, Tacentries, Hiddentac | filliatr | 1999-11-23 |
| * | - déplacement (encore une fois !) des variables existentielles : elles sont | filliatr | 1999-10-18 |
| * | ensembles de contraintes d'univers | filliatr | 1999-09-25 |
| * | ajout des inductifs (sans types singletons pour l'instant) | filliatr | 1999-08-30 |
| * | suppression champs inutiles dans constantes et inductifs; verification defini... | filliatr | 1999-08-27 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |