coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Reference manual: try and improve documentation for Ltac's match.	Arnaud Spiwack	2015-01-14
*	Reference manual: try and improve the documentation of lazymatch.	Arnaud Spiwack	2015-01-14
*	Reference manual: document gfail.	Arnaud Spiwack	2015-01-14
*	Document the new behavior of lazymatch.	Guillaume Melquiond	2014-12-30
*	Document [Info] command.	Arnaud Spiwack	2014-11-01
*	Fix typo in documentation of the [repeat] tactical.	Arnaud Spiwack	2014-10-24
*	Removing remaining documentation of the XML plugin.	Pierre-Marie Pédrot	2014-09-11
*	sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.tex	Pierre Boutillier	2014-09-03
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	Documentation: a simple example for [numgoals].	Arnaud Spiwack	2014-08-05
*	Documentation of [uconstr]: typesetting.	Arnaud Spiwack	2014-08-05
*	Documentation: refine accept uconstr arguments.	Arnaud Spiwack	2014-08-05
*	Document [> … ].	Arnaud Spiwack	2014-08-01
*	Fix English spelling -> American spelling in doc.	Arnaud Spiwack	2014-08-01
*	Document [numgoals] and [guard].	Arnaud Spiwack	2014-08-01
*	Document untyped terms in tactics.	Arnaud Spiwack	2014-07-29
*	Update the documentation of Ltac's ";" and ";[…]" to reflect the new multi-...	Arnaud Spiwack	2014-07-25
*	Adding a "time" tactical for benchmarking purposes. In case the tactic	Hugo Herbelin	2014-07-13
*	Fix Bug 3131 + Really drop mentions of info in refman.	Pierre Boutillier	2014-04-02
*	Reference the 'external' tactic.	Guillaume Melquiond	2014-01-01
*	Silence some warning about references in documentation.	Guillaume Melquiond	2013-12-03
*	Fix ltac's progress tactical: requires progress in each goal.	aspiwack	2013-11-04
*	Documentation for the backtracking features.	aspiwack	2013-11-02
*	Manual fixed w.r.t. STM	gareuselesinge	2013-08-08
*	Documenting the "appcontext" by default.	ppedrot	2013-05-29
*	ZArith + other : favor the use of modern names instead of compat notations	letouzey	2012-07-05
*	Added documentation for "r foo" in Ltac debugger.	herbelin	2012-01-20
*	Documentation of appcontext	letouzey	2011-11-29
*	Documentation of the timeout tactical (cf r13917)	letouzey	2011-03-21