Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update history of revisions. | 2015-12-02 | |
* | Updating versions history with data from GĂ©rard. | 2015-10-02 | |
* | Update the history of versions with recent versions. | 2015-10-02 | |
* | Switch the few remaining iso-latin-1 files to utf8 | 2014-12-09 | |
* | Moved and completed the history of Coq versions from the | 2009-05-24 |