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 |