coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-19
\|\
\| *	Reference Manual: Applying standard style recommendation about not	Hugo Herbelin	2015-10-18
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-15
\|\\|
\| *	Fix some typos.	Guillaume Melquiond	2015-10-14
\| *	Fix some typos.	Guillaume Melquiond	2015-10-13
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-12
\|\\|
\| *	Documenting matching under binders.	Hugo Herbelin	2015-10-11
\| *	Fix a few latex errors in documentation of Proof Using (e.g. \tt*).	Guillaume Melquiond	2015-10-10
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-09
\|\\|
\| *	Proof using: let-in policy, optional auto-clear, forward closure*	Enrico Tassi	2015-10-08
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-06
\|\\|
\| *	Fix typo. (Fix bug #4355)	Guillaume Melquiond	2015-10-04
\| *	Mark the Coq.Compat files for documentation. (Fix bug #4353)	Guillaume Melquiond	2015-10-02
\| *	Fixing error messages about Hint.	Hugo Herbelin	2015-10-02
\| *	Improving reference manual in that auto uses simple apply rather than apply.	Hugo Herbelin	2015-10-02
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-02
\|\\|
\| *	Fixing documentation wrt the ctrl-shift-u Unicode input method (see #2013).	Hugo Herbelin	2015-09-30
\| *	Make -load-vernac-object respect the loadpath.	Guillaume Melquiond	2015-09-28
\| *	Documenting how to support some special unicode characters in coqdoc	Hugo Herbelin	2015-09-26
\| *	Clarifying the doc of coqdoc --utf8 as discussed on coq-club on August 19, 2015.	Hugo Herbelin	2015-09-26
* \|	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
\| *	Fixing tutorial.	Pierre-Marie Pédrot	2015-09-21
* \|	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