aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2015-08-17Remove generatable documentation files from repository. (Fix bug #4315)Guillaume Melquiond
2015-03-03Add missing test-suite files and update gitignore.Matthieu Sozeau
2015-01-06rename: vi -> vioEnrico Tassi
2014-12-11Ignore *.vi files, just like *.vo files.Xavier Clerc
2014-09-08Removing the XML plugin.Pierre-Marie Pédrot
2014-08-26Configure.ml creates metadata to annotate MacOS binariesPierre Boutillier
2014-07-25Add emacs auto-save and crash-save files to the .gitignore.Arnaud Spiwack
2014-07-25Add *.crashcoqide files to the .gitignore.Arnaud Spiwack
2014-07-25Add lia.cache to the .gitignoreArnaud Spiwack
2014-05-22Ignore generated file.Guillaume Melquiond
2014-05-06This commit adds full universe polymorphism and fast projections to Coq.Matthieu Sozeau
2014-02-24Fix coqide build under MacOSPierre Boutillier
2013-04-18coqc and coqmktop migrated in tools/, get rid of scripts/ subdirletouzey
2013-01-22Added .native to .gitignoreppedrot
2012-10-29Allow running coq-tex in win32 (fix #2921)letouzey
2012-10-17univ inconsistency error message gives evidence of a cyclebarras
2012-10-06Turn mltop.ml4 into a regular ocaml fileletouzey
2012-10-04Moved Compat to parsing. This permits to break the dependency of theppedrot
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-05-30Adds Reference-Manual.out to .gitignoreletouzey
2012-05-29place all files specific to camlp4 syntax extensions in grammar/letouzey
2012-04-27Configure asks for lablgtk >= 2.12 with gtksourceview2pboutill
2012-03-22Update of .gitignore (via a regexp g_*.ml)letouzey
2012-01-13Added a Btauto plugin, that solves boolean tautologies.ppedrot
2011-12-27Bug 2669 and more: make full-stdlibpboutill
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 01:27:10 +0000