aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/doc/versions-history.tex
Commit message (Expand)AuthorAge
* Updating version history wrt 8.7.Gravatar Hugo Herbelin2017-10-26
* Updating version history wrt 8.6.Gravatar Hugo Herbelin2017-10-26
* Updating version history wrt 8.5.Gravatar Hugo Herbelin2017-10-26
* Update history of revisions.Gravatar Hugo Herbelin2015-12-02
* Updating versions history with data from GĂ©rard.Gravatar Hugo Herbelin2015-10-02
* Update the history of versions with recent versions.Gravatar Hugo Herbelin2015-10-02
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* Moved and completed the history of Coq versions from theGravatar herbelin2009-05-24