coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[toplevel] Remove long ago deprecated and NOOP options.	Emilio Jesus Gallego Arias	2017-07-27
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
*	Merge PR#692: Fail on deprecated warning even for Ocaml > 4.02.3	Maxime Dénès	2017-05-30
\|\
\| *	Fail on deprecated warning even for Ocaml > 4.02.3	Gaëtan Gilbert	2017-05-28
* \|	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias	2017-05-27
\|/
*	[camlpX] Enrico's changes to camlp4 removal.	Emilio Jesus Gallego Arias	2017-04-07
*	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias	2017-02-15
*	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