Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 |