coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[toplevel] Remove unusable option -notop	Emilio Jesus Gallego Arias	2017-03-14
*	Stop parsing -compat-notations options, which are no longer supported (bug #3...	Guillaume Melquiond	2016-11-21
*	Do not mention "none" in warnings doc, as it is there for compatibility.	Maxime Dénès	2016-11-14
*	Add documentation for [Set Warnings] and the -w option.	Cyprien Mangin	2016-11-04
*	Fix indentation of -profile-ltac in -help	Jason Gross	2016-09-17
*	--print-version produces machine readable version info	Enrico Tassi	2016-06-16
*	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
\| *	fix blanks in usage message	Enrico Tassi	2016-05-19
\| *	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
\| *	Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.	Maxime Dénès	2016-01-15
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-25
\|\\|
\| *	The -require option now accepts a logical path instead of a physical one.	Pierre-Marie Pédrot	2015-09-25
\| *	Updating the documentation and the toolchain w.r.t. the change in -compile.	Pierre-Marie Pédrot	2015-09-25
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-05
\|\\|
\| *	For convenience, making yes and on, and no and off synonymous in	Hugo Herbelin	2015-08-02
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-24
\|\\|
\| *	improve --help documentation: the -m\|--memory option was missing	Gabriel Scherer	2015-06-24
* \|	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier	2015-06-22
\|/
*	Fix usage about -color.	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
*	Removing references to deprecated syntax -I/-R -as.	Pierre-Marie Pédrot	2015-03-31
*	coqc: fix --help	Enrico Tassi	2015-03-25
*	add -type-in-type to the usage message	Daniel R. Grayson	2015-03-18
*	Fix typos about .vio files (thanks Arthur for spotting them)	Enrico Tassi	2015-02-12
*	Add -no-native-compiler flag to list dumped by --help.	Maxime Dénès	2015-01-12
*	Update headers.	Maxime Dénès	2015-01-12
*	For consistency with other coqtop flags, use -help rather than --help in usage.	Hugo Herbelin	2014-11-16
*	Adding a command line option to print out accepted color tags.	Pierre-Marie Pédrot	2014-11-15
*	Reworking the -color flag of coqtop.	Pierre-Marie Pédrot	2014-11-15
*	toploop plugins taken into account when printing --help (close: 3535)	Enrico Tassi	2014-09-09
*	Removing dead code relative to the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	Removing documentation related to the deprecated State machinery.	Pierre-Marie Pédrot	2014-08-16
*	Deprecate useless option -quality.	Guillaume Melquiond	2014-06-13
*	Remove documentation for the unsupported options -byte and -opt.	Guillaume Melquiond	2014-06-13
*	Deprecate options -dont, -lazy, -force-load-proofs.	Guillaume Melquiond	2014-06-13
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	Add an option -Q (tentative name).	Guillaume Melquiond	2014-04-08
*	Change handling of loadpath and mlpath.	Guillaume Melquiond	2014-04-06
*	Adding a finer-grained -bt flag to coqtop only triggering backtraces.	Pierre-Marie Pédrot	2013-12-22
*	New option --help-XML-protocol to document the XML procol used by -ideslave	Enrico Tassi	2013-11-27
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	Ensure that a function declared with a label is used with it	letouzey	2012-12-08
*	coqtop -time : display per-command timings	letouzey	2012-10-05
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	Updating headers.	herbelin	2012-08-08