coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-13
\|\
\| *	typo in refman.	Pierre Courtieu	2015-09-10
* \|	Documenting the new behaviour of the Shrink Obligations flag.	Pierre-Marie Pédrot	2015-09-08
* \|	Documenting the Shrink Abstract option.	Pierre-Marie Pédrot	2015-08-22
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-22
\|\\|
\| *	Remove generatable documentation files from repository. (Fix bug #4315)	Guillaume Melquiond	2015-08-17
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-05
\|\\|
\| *	Granting Jason's request for an ad hoc compatibility option on	Hugo Herbelin	2015-08-02
\| *	Fix typos in the Extraction part of the reference manual.	Guillaume Melquiond	2015-07-31
\| *	Fix typos in the Micromega part of the reference manual.	Guillaume Melquiond	2015-07-31
\| *	Improve the table of content of the reference manual.	Guillaume Melquiond	2015-07-31
\| *	Remove some outdated files and fix permissions.	Guillaume Melquiond	2015-07-31
\| *	Avoid suggesting elim and decompose in the FAQ.	Guillaume Melquiond	2015-07-30
\| *	Remove some output of Qed in the FAQ.	Guillaume Melquiond	2015-07-30
\| *	Fix some broken Coq scripts in the documentation.	Guillaume Melquiond	2015-07-30
\| *	Improve the FAQ a bit.	Guillaume Melquiond	2015-07-29
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-29
\|\\|
\| *	Reset a dangling proof in the FAQ.	Guillaume Melquiond	2015-07-28
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-27
\|\\|
* \|	search: Add an output-name-only search option	Clément Pit--Claudel	2015-07-27
\| *	Regenerate the axiom figure of the FAQ.	Guillaume Melquiond	2015-07-26
\| *	Remove obsolete question about eta-conversion.	Guillaume Melquiond	2015-07-26
\| *	Refman: document Show Universes.	Matthieu Sozeau	2015-07-22
\| *	Remove obsolete documentation. (Fix bug #4238)	Guillaume Melquiond	2015-07-22
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-18
\|\\|
\| *	Fix documentation of universes.	Matthieu Sozeau	2015-07-08
\| *	Fix documentation.	Guillaume Melquiond	2015-07-08
\| *	Document Set/Print Firstorder Solver option.	Matthieu Sozeau	2015-07-07
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-28
\|\\|
\| *	Introduction of a "Undelimit Scope" command, undoing "Delimit Scope"	Lionel Rieg	2015-06-26
\| *	Typos in my previous edition of the reference manual.	Assia Mahboubi	2015-06-26
\| *	Some edition in the coq_makefile/_CoqProject section.	Assia Mahboubi	2015-06-26
\| *	Added _CoqProject to the index of the reference manual.	Assia Mahboubi	2015-06-26
* \|	Merge remote-tracking branch 'forge/v8.5'	Pierre Boutillier	2015-06-22
\|\\|
\| *	Doc: Workers do check for guardedness before sending proofs back	Enrico Tassi	2015-06-17
* \|	Turning "Set Regular Subst Tactic" on by default (for 8.6).	Hugo Herbelin	2015-05-15
\|/
*	Documenting Set Regular Subst Tactic (though unsure this is worth the	Hugo Herbelin	2015-05-13
*	Documenting the Loose Hint Behavior flag.	Pierre-Marie Pédrot	2015-05-13
*	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
*	Fix compilation of documentation broken by the addition of MMapAVL.	Guillaume Melquiond	2015-04-02
*	Make sure that hyperref creates the proper links to the documentation indexes.	Guillaume Melquiond	2015-04-02
*	Fix documentation of -R and -Q.	Guillaume Melquiond	2015-04-02
*	Fixing a few typos + some uniformization of writing in doc.	Hugo Herbelin	2015-04-01
*	More clarifications on loadpaths.	Pierre-Marie Pédrot	2015-04-01
*	Documenting "From * Require *" and clearing a bit the loadpath chapter.	Pierre-Marie Pédrot	2015-04-01
*	Fix various typos in documentation	Matěj Grabovský	2015-03-31
*	Qed export -> Qed exporting	Enrico Tassi	2015-03-22