| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form) |  letouzey | 2010-03-04 |
| * | ide/coq_lex.ml in .gitignore | letouzey | 2010-02-25 |
| * | Ignoring .spit/.spot files from OCamlSpotter |  thutchin | 2010-02-25 |
| * | NMake: several things need not be macro-generated | letouzey | 2010-01-25 |
| * | Add *.annot to .gitignore |  glondu | 2010-01-14 |
| * | 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 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |
path: root/.gitignore