coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-11-21	[coq] Untabify the whole ML codebase.	Emilio Jesus Gallego Arias
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-05-23	Fixing typos - Part 2	JPR
2019-02-14	[coqlib] Remove `-boot` option for setting the coqlib	Emilio Jesus Gallego Arias
2019-02-08	Make boot flag into a normal option (no global flag).	Gaëtan Gilbert
2018-10-01	[lib] [flags] Move coqlib handling out of `Flags`	Emilio Jesus Gallego Arias
2018-10-01	[envars] Defer CAMLP5 location to configure.	Emilio Jesus Gallego Arias
2018-02-27	Update headers following #6543.	Théo Zimmermann
2018-02-17	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-06-19	Fix typo in comment.	Maxime Dénès
2017-06-12	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík
2017-05-29	Relying on computation done in Envars to discover the installation directories.	Hugo Herbelin
2017-05-29	Dead code (xdg_config_dirs).	Hugo Herbelin
2017-05-23	enters coq_makefile2	Enrico Tassi
2017-05-23	Put the list of Coq sources subdirectories in one place	Enrico Tassi
2017-05-23	Usage.print_config moved to Envars	Enrico Tassi
2016-01-21	Merge branch 'v8.5'	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-06-22	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier
2015-01-12	Update headers.	Maxime Dénès
2013-08-22	Misc changes around coqtop.ml :	letouzey
2012-12-07	* lib/Envars:	regisgia
2012-12-07	* lib/Envars:	regisgia
2012-08-08	Updating headers.	herbelin
2012-06-15	Partialy revert "coq_makefile fixup" because old Makefiles still need CAMLP4BIN	pboutill
2012-06-14	coq_makefile fixup	pboutill
2012-05-23	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill
2012-04-12	lib directory is cut in 2 cma.	pboutill
2011-11-20	coqrc in the right XDG_CONFIG_HOME/coq folder	pboutill
2011-11-20	Add support for XDG_DATA_HOME and XDG_DATA_DIRS.	pboutill
2011-09-27	In Coq_config: get rid of coqsrc and make coqlib optional	glondu
2011-04-28	coqtop -config returns coq returns coq environments at exection time	pboutill
2011-04-14	Add directories in COQPATH to search path.	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-06-22	New script dev/tools/change-header to automatically update Coq files headers.	herbelin
2010-04-29	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill
2008-12-19	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin