Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Réactivation d'un outil d'affichage pour le débogueur compatible avec ocaml... | 2005-01-02 | ||
* | Ajout pptac | 2003-01-19 | ||
* | Modules dans COQ\!\!\!\! | 2002-08-02 | ||
* | Suppression des local_constraints, des ctxtty et du focus. | 2001-11-06 | ||
* | Prise en compte qualid | 2000-11-26 | ||
* | Renommage ppterm0 --> ppterm | 2000-03-07 | ||
* | rattrapage exceptions autres que UserError | 1999-12-14 | ||
* | pretty-printers pour le debugger | 1999-12-14 | ||
* | printers pour le debugger | 1999-09-08 |