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