coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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