coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier	2015-06-22
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	* lib/Envars:	regisgia	2012-12-07
*	* lib/Envars:	regisgia	2012-12-07
*	Updating headers.	herbelin	2012-08-08
*	Partialy revert "coq_makefile fixup" because old Makefiles still need CAMLP4BIN	pboutill	2012-06-15
*	coq_makefile fixup	pboutill	2012-06-14
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	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-11-20
*	In Coq_config: get rid of coqsrc and make coqlib optional	glondu	2011-09-27
*	coqtop -config returns coq returns coq environments at exection time	pboutill	2011-04-28
*	Add directories in COQPATH to search path.	herbelin	2011-04-14
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
*	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill	2010-04-29
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19