| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | - Typing -> Safe_typing |  filliatr | 1999-12-01 |
| * | deplacements des var. ex. hors du noyau | filliatr | 1999-10-08 |
| * | ajout des constraintes pendant le chargement d'un module (load) | filliatr | 1999-09-27 |
| * | ensembles de contraintes d'univers | filliatr | 1999-09-25 |
| * | - un effort sur la doc (ocamlweb) | filliatr | 1999-09-19 |
| * | module Library | filliatr | 1999-09-18 |
| * | mise en place commandes minicoq | filliatr | 1999-09-07 |
| * | - environnements vides | filliatr | 1999-09-03 |
| * | suppression champs inutiles dans constantes et inductifs; verification defini... | filliatr | 1999-08-27 |
| * | environnement sur | filliatr | 1999-08-26 |
| * | mach -> typing; machops -> typeops | filliatr | 1999-08-26 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |