Commit message (Expand) | Author | Age | |
---|---|---|---|
* | ide/coq_lex.ml in .gitignore | 2010-02-25 | |
* | Ignoring .spit/.spot files from OCamlSpotter | 2010-02-25 | |
* | NMake: several things need not be macro-generated | 2010-01-25 | |
* | 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 |