Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ajout pptac | herbelin | 2003-01-19 |
* | Modules dans COQ\!\!\!\! | coq | 2002-08-02 |
* | Suppression des local_constraints, des ctxtty et du focus. | clrenard | 2001-11-06 |
* | Prise en compte qualid | herbelin | 2000-11-26 |
* | Renommage ppterm0 --> ppterm | herbelin | 2000-03-07 |
* | rattrapage exceptions autres que UserError | filliatr | 1999-12-14 |
* | pretty-printers pour le debugger | filliatr | 1999-12-14 |
* | printers pour le debugger | filliatr | 1999-09-08 |