| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Ajout translate |  herbelin | 2003-04-07 |
| * | Réforme de l'interprétation des termes : | herbelin | 2002-11-14 |
| * | Modules dans COQ\!\!\!\! |  coq | 2002-08-02 |
| * | petits changements cosmetiques sur les tactiques |  barras | 2002-02-15 |
| * | Parsing | herbelin | 2001-08-10 |
| * | amelioration des messages d'erreurs vis a vis des evars | barras | 2001-05-23 |
| * | Modification pour passage p-automates |  mohring | 2001-05-15 |
| * | ajout d'un afficher de contexte et d'une fonction constbody_of_string |  letouzey | 2001-05-10 |
| * | Make sure that the COQTOP variable is really used, when it is set. |  bertot | 2001-04-03 |
| * | Printer | mohring | 2000-12-15 |
| * | Ajout de constr_of_string | mohring | 2000-12-04 |
| * | Prise en compte du renommage des fonctions de Astterm | herbelin | 2000-04-17 |
| * | Restructuration printer et parser | herbelin | 2000-01-07 |
| * | pretty-printers pour le debugger |  filliatr | 1999-12-14 |
| * | renommage pour eviter pbm avec ocamldep (syntax error) | filliatr | 1999-12-03 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |