coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[Sphinx] Move chapter 9 to new infrastructure.	Théo Zimmermann	2018-04-14
*	Merge PR #6820: Tacticals assert_fails and assert_succeeds	Maxime Dénès	2018-03-09
\|\
* \|	[compat] Remove "Shrink Abstract"	Emilio Jesus Gallego Arias	2018-03-06
\| *	Added tacticals assert_succeeds/assert_fails (courtesy of Jason Gross).	Hugo Herbelin	2018-02-28
\|/
*	add optimize_heap tactic for #6488	Paul Steckler	2018-01-03
*	Fix typo in the refman.	Théo Zimmermann	2017-12-19
*	Add documentation for time_constr	Jason Gross	2017-12-14
*	Add doc+changelog entries for new LtacProf tactics	Jason Gross	2017-12-14
*	Remove deprecated appcontext and corresponding documentation.	Théo Zimmermann	2017-12-11
*	clarify operation of sequences, #6095	Paul Steckler	2017-12-01
*	Documentation: "tac1 \|\| tac2" means "first [ progress tac1 \| tac2 ]",	Samuel Gruetter	2017-11-06
*	[vernac] Remove `Qed exporting` syntax.	Emilio Jesus Gallego Arias	2017-09-29
*	Avoid generated names for html pages of the reference manual (bug #4742).	Guillaume Melquiond	2017-09-22
*	Sync the manual with the deprecation warnings.	Théo Zimmermann	2017-07-11
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\
\| *	Merge PR#756: Fix Bug #5574, document function scope	Maxime Dénès	2017-06-26
\| \|\
\| \| *	Fix Bug #5574, document function scope	Paul Steckler	2017-06-23
\| * \|	Document evar naming syntax.	Théo Zimmermann	2017-06-13
\| \|/
* \|	Documenting the existence of first and solve as Ltac definitions.	Pierre-Marie Pédrot	2017-05-27
* \|	Add documentation for Set Ltac Batch Debug	Jason Gross	2017-05-11
* \|	Mark transparent_abstract as risky in docs	Jason Gross	2017-04-25
* \|	Add transparent_abstract tactic	Jason Gross	2017-04-25
\|/
*	Merge remote-tracking branch 'github/pr/280' into v8.6	Maxime Dénès	2016-09-30
\|\
* \	Merge remote-tracking branch 'github/pr/232' into v8.6	Maxime Dénès	2016-09-28
\|\ \
\| \| *	Doc: [Reset Ltac Profile] is not synchronized	Jason Gross	2016-09-16
\| \|/ \|/\|
* \|	Fix a typo in the reference manual	Jason Gross	2016-09-07
* \|	In docs, fix command to reset Ltac profiling	Paul Steckler	2016-08-17
\| *	Update the documentation for goal selectors.	Cyprien Mangin	2016-06-30
\|/
*	par: like all: but in parallel	Enrico Tassi	2016-06-17
*	Add documentation for goal selectors.	Cyprien Mangin	2016-06-14
*	Make Ltac Profiling an setting	Jason Gross	2016-06-05
*	Synchronize the profiler state with the document	Jason Gross	2016-06-05
*	-profileltac -> -profile-ltac, as per @herbelin	Jason Gross	2016-06-05
*	Add LtacProf documentation	Jason Gross	2016-06-05
*	Adding the Print Ltac Signature command.	Pierre-Marie Pédrot	2016-06-05
*	TYPOGRAPHY: correction of one particular error in the Reference Manual	Matej Kosik	2015-12-18
*	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-12
\|\\|
\| *	Documenting matching under binders.	Hugo Herbelin	2015-10-11
* \|	Documenting the Shrink Abstract option.	Pierre-Marie Pédrot	2015-08-22
\|/
*	Qed export -> Qed exporting	Enrico Tassi	2015-03-22
*	Fixed doc of fresh (was already outdated before fixing #3233).	Pierre Courtieu	2015-02-23
*	Separate index for vernacular options.	Maxime Dénès	2015-02-17
*	Abstract: "Qed export ident, .., ident" to preserve v8.4 behavior	Enrico Tassi	2015-02-14
*	Fix index of reference manual.	Guillaume Melquiond	2015-01-29
*	Reference manual: fix typo in doc of [tryif/then/else].	Arnaud Spiwack	2015-01-21
*	Reference manual: I had previously omitted the syntax entry for [> t1\|…\|tn].	Arnaud Spiwack	2015-01-14
*	Reference manual: document tryif/then/else.	Arnaud Spiwack	2015-01-14
*	Reference manual: document multimatch.	Arnaud Spiwack	2015-01-14