coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Merge remote-tracking branch 'origin/v8.5' into trunk	Guillaume Melquiond	2016-01-06
\|\\|
\| *	Disable warning 31 when generating coqtop from coqmktop.	Maxime Dénès	2016-01-05
* \|	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier	2015-06-22
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Coqmktop without Sys.command, changes in ./configure -*byteflags options	Pierre Letouzey	2014-01-30
*	coqmktop without Unix (simpler all_subdirs)	Pierre Letouzey	2013-12-20
*	Revert the two last commits. My bad, I messed up git-svn commands...	ppedrot	2013-10-29
*	Printing heap on every processed sentence.	ppedrot	2013-10-29
*	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc	2013-09-19
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	State Transaction Machine	gareuselesinge	2013-08-08
*	coqc and coqmktop migrated in tools/, get rid of scripts/ subdir	letouzey	2013-04-18