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