Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Réforme de l'interprétation des termes : | herbelin | 2002-11-14 |
* | Suppression des stamps et donc des *_constraints | clrenard | 2001-11-12 |
* | Adding files for the production of textual explanations as used in pcoq. | bertot | 2001-04-18 |