Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Addition of mergesort + cleaning of the Sorting library | herbelin | 2009-12-13 |
* | Update .gitignore | glondu | 2009-12-02 |
* | Ajout des .annot dans le .gitignore. | aspiwack | 2009-08-11 |
* | Improved parameterization of Coq: | herbelin | 2009-08-02 |
* | Git ignore files | herbelin | 2009-07-30 |
* | For git users, a global .gitignore file | letouzey | 2009-07-30 |