aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2016-10-24Update .gitignore with new names for psatz cachesJason Gross
2016-09-09Updating .gitignore.Hugo Herbelin
2016-07-12.gitignore: no more generated grammar/*.ml filesPierre Letouzey
2016-07-12".gitignore" updateMatej Kosik
2016-06-16Ignore generated .ml file for ssrmatchingEnrico Tassi
2016-06-14configure: use ln on linux and cp on windowsEnrico Tassi
2016-06-14Merge branch "LtacProf for trunk" (PR #165).Pierre-Marie Pédrot
2016-06-08Compilation via pack for plugins of the stdlibPierre Letouzey
2016-06-05LtacProf for Coq trunkJason Gross
2016-06-05Removing the Q_constr file.Pierre-Marie Pédrot
2016-06-05Moving Hipattern to a regular ML file.Pierre-Marie Pédrot
2016-06-02Move ide serialization libraries from lib/ to ide/Emilio Jesus Gallego Arias
2016-05-20Merge branch 'v8.5'Pierre-Marie Pédrot
2016-05-19adding "user-contrib" directory to ".gitignore"Matej Kosik
2016-05-09Merge branch 'v8.5'Pierre-Marie Pédrot
2016-05-09Rename Lexer -> CLexer.Pierre-Marie Pédrot
2016-04-27Revert "Adding a target check-beautify for testing reparsability of"Hugo Herbelin
2016-04-27Adding a target check-beautify for testing reparsability ofHugo Herbelin
2016-03-28Updating .gitignore.Pierre-Marie Pédrot
2016-01-11CLEANUP: kernel/context.ml{,i}Matej Kosik
2015-08-22Merge branch 'v8.5'Pierre-Marie Pédrot
2015-08-17Remove generatable documentation files from repository. (Fix bug #4315)Guillaume Melquiond
2015-06-22update gitignorePierre Boutillier
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 17:15:51 +0000