coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR#457: Adding an even more compact goal hyps mode.	Maxime Dénès	2017-05-17
\|\
\| *	Documenting Printing Compact Contexts + CHANGES	Pierre Courtieu	2017-05-11
* \|	fix order of command-line arguments mentioned in Add LoadPath	Paul Steckler	2017-04-27
\|/
*	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
*	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-08-16
\|\
\| *	Fix documentation typo (bug #4994).	Guillaume Melquiond	2016-08-04
* \|	Add [Unset Printing Dependent Evars Line]	Jason Gross	2016-06-19
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-12-11
\|\\|
\| *	Remove Set Virtual Machine from doc, since the command itself has been removed.	Maxime Dénès	2015-12-11
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-06
\|\\|
\| *	Fix typo. (Fix bug #4355)	Guillaume Melquiond	2015-10-04
* \|	search: Add an output-name-only search option	Clément Pit--Claudel	2015-07-27
\|/
*	Fix documentation of Redirect	Enrico Tassi	2015-05-04
*	Add a [Redirect] vernacular command	Clément Pit--Claudel	2015-05-04
*	Fixing a few typos + some uniformization of writing in doc.	Hugo Herbelin	2015-04-17
*	Documenting the recommandation of toplevel-only commands.	Pierre-Marie Pédrot	2015-04-15
*	Fixing a few typos + some uniformization of writing in doc.	Hugo Herbelin	2015-04-01
*	Documenting "From * Require *" and clearing a bit the loadpath chapter.	Pierre-Marie Pédrot	2015-04-01
*	admit: replaced by give_up + Admitted (no proof_admitted : False, close #4032)	Enrico Tassi	2015-03-11
*	Remove Whelp commands.	Maxime Dénès	2015-02-17
*	Separate index for vernacular options.	Maxime Dénès	2015-02-17
*	Fix sentence that was cut in doc of Local Set.	Maxime Dénès	2015-02-17
*	Fix some documentation typos.	Guillaume Melquiond	2015-02-05
*	Remove spurious "Loading ML file" and "<W> Grammar extension" from the refere...	Guillaume Melquiond	2015-01-29
*	Document 6d5b56d971 (forbid Require inside modules).	Maxime Dénès	2014-12-25
*	Searchxxx now search also the hypothesis and support goal selector.	Pierre Courtieu	2014-12-12
*	refman: avoid label names with whitespace (unsupported in html)	Pierre Letouzey	2014-12-09
*	sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.tex	Pierre Boutillier	2014-09-03
*	Update RefMan with respect to new loadpath management	Pierre Boutillier	2014-09-03
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	Removing documentation related to the deprecated State machinery.	Pierre-Marie Pédrot	2014-08-16
*	Documenting the changes of Locate semantics.	Pierre-Marie Pédrot	2014-07-21
*	Fixing grammar in doc of Opaque as proposed by Jason (#3389).	Hugo Herbelin	2014-06-21
*	Documenting the Print Strategy command.	Pierre-Marie Pédrot	2014-03-20
*	Removing the [Require "file"] syntax.	Pierre-Marie Pédrot	2014-02-02
*	Fixing typo in reference manual from previous commit	Hugo Herbelin	2014-01-13
*	Documenting old but useful command "Print Tables".	Hugo Herbelin	2014-01-13
*	Renaming SearchAbout into Search and Search into SearchHead.	herbelin	2013-04-17
*	Documenting the 'Printing Transparent/All Dependencies' command.	ppedrot	2012-10-30
*	Improving rendering of ldots in doc (partially done, there are too	herbelin	2012-08-11
*	Document the command Add/Remove Search Blacklist	letouzey	2012-08-03
*	ZArith + other : favor the use of modern names instead of compat notations	letouzey	2012-07-05
*	Documentation of last commit concerning Backtracking	letouzey	2012-03-23
*	Remove old proof-managment commands Suspend/Resume	letouzey	2012-03-23
*	Bug 2583: Update of the syntax of terms in the reference manual	pboutill	2011-09-01
*	remove old traces of SearchIsos (never ported to 7.x nor 8.x)	letouzey	2011-04-12
*	An option "Set Default Timeout n."	letouzey	2011-03-17
*	SearchAbout: who has never been annoyed by the [ ] syntax ?	letouzey	2010-11-19
*	Remove Explain* vernacs	glondu	2010-10-06