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