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