coq - The formal proof system

Age	Commit message (Expand)	Author
2019-05-07	Integrate build and documentation of Ltac2	Maxime Dénès
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-05-30	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey
2016-07-05	Revert "Merge remote-tracking branch 'github/pr/229' into trunk"	Maxime Dénès
2016-06-29	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey
2016-01-20	Update copyright headers.	Maxime Dénès
2015-11-06	Fixed #4407.	Pierre Courtieu
2015-07-30	Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.	Guillaume Melquiond
2015-07-24	Using maps and sets instead of lists in coqdep.	Pierre-Marie Pédrot
2015-01-12	Update headers.	Maxime Dénès
2014-06-30	Coqdep: update include strategies	Pierre Boutillier
2014-05-17	Fixing coqdep_boot warning relative to unknown ML files that were in tactics.	Pierre-Marie Pédrot
2013-12-20	Coqdep always uses / as dir_sep	Pierre Boutillier
2013-04-18	Coqdep: add an -exclude-dir option (wish mentionned in #3025)	letouzey
2012-08-08	Updating headers.	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-03-04	Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)	letouzey
2009-03-26	Coqdep_boot: one line with bad indentation	letouzey
2009-03-20	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2009-03-16	missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...	barras
2009-03-16	coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...	letouzey