coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík	2017-06-12
*	Merge PR#645: [stm] Tweak debug options.	Maxime Dénès	2017-05-25
\|\
* \|	Document --print-version in Usage	Enrico Tassi	2017-05-23
* \|	Usage.print_config moved to Envars	Enrico Tassi	2017-05-23
\| *	[stm] Tweak debug options.	Emilio Jesus Gallego Arias	2017-05-18
\|/
*	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
*	Stop parsing -compat-notations options, which are no longer supported (bug #3...	Guillaume Melquiond	2016-11-21
*	coqc: recognize -profile-ltac-cutoff	Enrico Tassi	2016-09-30
*	Merge remote-tracking branch 'origin/pr/166' into trunk	Enrico Tassi	2016-06-14
\|\
* \|	-profileltac -> -profile-ltac, as per @herbelin	Jason Gross	2016-06-05
* \|	LtacProf for Coq trunk	Jason Gross	2016-06-05
\| *	coqc: support -o option to specify output file name	Enrico Tassi	2016-05-19
\|/
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Remove deprecated command-line options such as "-as".	Guillaume Melquiond	2016-01-06
\|/
*	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