aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitignore
Commit message (Expand)AuthorAge
...
* Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)Gravatar letouzey2010-03-04
* ide/coq_lex.ml in .gitignoreGravatar letouzey2010-02-25
* Ignoring .spit/.spot files from OCamlSpotterGravatar thutchin2010-02-25
* NMake: several things need not be macro-generatedGravatar letouzey2010-01-25
* Add *.annot to .gitignoreGravatar glondu2010-01-14
* Addition of mergesort + cleaning of the Sorting libraryGravatar herbelin2009-12-13
* Update .gitignoreGravatar glondu2009-12-02
* Ajout des .annot dans le .gitignore.Gravatar aspiwack2009-08-11
* Improved parameterization of Coq:Gravatar herbelin2009-08-02
* Git ignore filesGravatar herbelin2009-07-30
* For git users, a global .gitignore fileGravatar letouzey2009-07-30