Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added things in CHANGES. | Pierre Courtieu | 2007-04-23 |
* | Updated CHANGES. | Pierre Courtieu | 2006-09-07 |
* | updating changes in coq/CHANGES. | Pierre Courtieu | 2006-09-06 |
* | fix coq/CHANGES | Pierre Courtieu | 2006-08-25 |
* | Changed default coq version (8.1) | Pierre Courtieu | 2006-08-25 |
* | added a CHANGES file for coq directory | Pierre Courtieu | 2006-08-25 |