Commit message (Expand) | Author | Age | |
---|---|---|---|
* | restructuration des printers: proofs passe avant parsing | 2004-09-17 | |
* | unification encore... | 2004-09-08 | |
* | prettyprint des constr_substituted + un wrapping de prglobal pour qu'il n'ech... | 2003-04-16 | |
* | Ajout affichage fconstr | 2002-12-05 | |
* | ajout d'un printer pour les global_reference | 2002-11-04 | |
* | Modules dans COQ\!\!\!\! | 2002-08-02 | |
* | petits changements cosmetiques sur les tactiques | 2002-02-15 | |
* | Suppression des local_constraints, des ctxtty et du focus. | 2001-11-06 | |
* | Ajout du printer de tactiques + modif du Dynamic ocaml | 2001-09-30 | |
* | ajout d'un afficher de contexte et d'une fonction constbody_of_string | 2001-05-10 | |
* | Restructuration printer et parser | 2000-01-07 | |
* | Ajout pp pattern et rawterm | 1999-12-12 | |
* | renommage pour eviter pbm avec ocamldep (syntax error) | 1999-12-03 |