aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2011-11-29lib/xml_lexer.ml in .gitignore (produced by a .mll)letouzey
2011-09-01gitignore updatepboutill
2011-01-25Update .gitignoreglondu
2010-10-31Add (quilt's) .pc to .gitignoreglondu
2010-06-03Misc fixes related to new nsatz (and ocamlbuild)letouzey
2010-05-19Remove refutpat.ml4, ideal.ml4 is again a normal .ml, let* coded in a naive wayletouzey
2010-04-29"make source-doc" builds documentation of mli in html and pdf atpboutill
2010-04-26Misc small fixes : warning, dep cycles, ocamlbuild...letouzey
2010-04-10Update .gitignoreglondu
2010-04-09Add test-suite/lia.cache to .gitignoreglondu
2010-03-29Several bug-fixes and improvements of coqdocherbelin
2010-03-04Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)letouzey
2010-02-25ide/coq_lex.ml in .gitignoreletouzey
2010-02-25Ignoring .spit/.spot files from OCamlSpotterthutchin
2010-01-25NMake: several things need not be macro-generatedletouzey
2010-01-14Add *.annot to .gitignoreglondu
2009-12-13Addition of mergesort + cleaning of the Sorting libraryherbelin
2009-12-02Update .gitignoreglondu
2009-08-11Ajout des .annot dans le .gitignore.aspiwack
2009-08-02Improved parameterization of Coq:herbelin
2009-07-30Git ignore filesherbelin
2009-07-30For git users, a global .gitignore fileletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 00:52:00 +0000