coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Updating the documentation and the toolchain w.r.t. the change in -compile.	Pierre-Marie Pédrot	2015-09-25
*	Adding the -color option to coqc.	Pierre Courtieu	2015-05-18
*	Adding an option -w to control Coq warning output.	Pierre-Marie Pédrot	2015-05-14
*	Disable precompilation for native_compute by default.	Guillaume Melquiond	2015-05-14
*	coqc accepts -top option. Fixes bug #4043.	Pierre-Marie Pédrot	2015-02-14
*	Allow -type-in-type to be an option also for coqc.	Daniel R. Grayson	2015-01-27
*	Update headers.	Maxime Dénès	2015-01-12
*	rename: vi -> vio	Enrico Tassi	2015-01-06
*	Fixing bug #3865.	Pierre-Marie Pédrot	2014-12-15
*	Revert "coqc: execvp is now available even on win32"	Enrico Tassi	2014-09-17
*	fixup fakeide test-suite	Pierre Boutillier	2014-07-24
*	coqc is -Q aware	Pierre Boutillier	2014-06-30
*	Checking that a library name is valid before compilation.	Pierre-Marie Pédrot	2014-06-16
*	Remove documentation for the unsupported options -byte and -opt.	Guillaume Melquiond	2014-06-13
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	vi2vo: new flag -schedule-vi2vo	Enrico Tassi	2014-02-26
*	-schedule-vi-checking ported to spawn	Enrico Tassi	2014-01-26
*	Paral-ITP: cleanup of command line flags and more conservative default	Enrico Tassi	2014-01-05
*	coqtop: -check-vi-tasks and -schedule-vi-checking	Enrico Tassi	2014-01-05
*	.vi files: .vo files without proofs	Enrico Tassi	2014-01-04
*	Adding -bt to coqc.	Pierre-Marie Pédrot	2013-12-22
*	coqc: execvp is now available even on win32	Pierre Letouzey	2013-12-20
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	coqc and coqmktop migrated in tools/, get rid of scripts/ subdir	letouzey	2013-04-18