Commit message (Expand) | Author | Age | |
---|---|---|---|
* | A proposal for recommended uniformity of style in programming Coq. | 2016-09-09 | |
* | Switch the few remaining iso-latin-1 files to utf8 | 2014-12-09 | |
* | Évolutions diverses et variées. | 2008-08-04 | |
* | Restructuration dossier dev et mise à jour de certaines documentations | 2006-05-23 |