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 |