coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #915: Fix rewrite in * side conditions	Maxime Dénès	2018-03-04
\|\
* \	Merge PR #6735: [toplevel] [vernac] Remove Load hack and check / document sup...	Maxime Dénès	2018-03-04
\|\ \
\| \| *	Fixing rewriting in side conditions for "rewrite in " and "rewrite in \|-".	Hugo Herbelin	2018-03-01
\| * \|	[toplevel] [vernac] Remove Load hack and check supported scenarios.	Emilio Jesus Gallego Arias	2018-02-28
\| \|/
* /	Typo in the documentation of the `pattern` tactic	Joachim Breitner	2018-02-27
\|/
*	Merge PR #6819: Document Arguments extra scopes flag	Maxime Dénès	2018-02-24
\|\
* \	Merge PR #6599: Decimals in prelude	Maxime Dénès	2018-02-24
\|\ \
\| \| *	Document Arguments extra scopes flag	Jasper Hugunin	2018-02-22
\| \|/ \|/\|
\| *	Doc: add Decimal-related files to index-list.html.template	Jason Gross	2018-02-20
* \|	Documenting use of primitive entry names for restricting syntax in notations.	Hugo Herbelin	2018-02-20
* \|	Extended documentation for notations referring to binders.	Hugo Herbelin	2018-02-20
* \|	A first step at refreshing and documenting the new feature.	Hugo Herbelin	2018-02-20
\|/
*	Merge PR #6128: Simplification: cumulativity information is variance informa...	Maxime Dénès	2018-02-12
\|\
\| *	Documentation for cumulative inductive variance.	Gaëtan Gilbert	2018-02-11
* \|	mention interactive mode for Fail message	Paul Steckler	2018-02-07
\|/
*	document the Fail command	Paul Steckler	2018-01-25
*	Merge PR #6551: Bracket with goal selector	Maxime Dénès	2018-01-16
\|\
* \	Merge PR #6489: Update PNGs; mention async error handling; change query windo...	Maxime Dénès	2018-01-08
\|\ \
* \ \	Merge PR #6497: Add optimize_heap tactic for #6488	Maxime Dénès	2018-01-08
\|\ \ \
* \ \ \	Merge PR #6526: Fixing various typos in the Credits chapter.	Maxime Dénès	2018-01-08
\|\ \ \ \
\| \| \| \| *	Documentation and CHANGES for bracket with goal selector.	Théo Zimmermann	2018-01-05
\| \|_\|_\|/ \|/\| \| \|
\| \| * \|	add optimize_heap tactic for #6488	Paul Steckler	2018-01-03
\| \|/ / \|/\| \|
\| \| *	update PNGs; mention async error handling; change query window to query pane;...	Paul Steckler	2018-01-03
\| \|/ \|/\|
* \|	Merge PR #6377: Removal of the FAQ LaTex document.	Maxime Dénès	2017-12-20
\|\ \
* \| \|	Fix typo in the refman.	Théo Zimmermann	2017-12-19
* \| \|	Merge PR #6381: A version of [time] that works on constr evaluation	Maxime Dénès	2017-12-18
\|\ \ \
* \ \ \	Merge PR #6380: Add tactics to reset and display the Ltac profile	Maxime Dénès	2017-12-18
\|\ \ \ \
* \ \ \ \	Merge PR #6261: Use \ocaml macro in Extraction chapter; accept OCaml in Extra...	Maxime Dénès	2017-12-18
\|\ \ \ \ \
\| \| \| \| * \|	Removing the FAQ, which has been moved to the GitHub wiki for this	Matt Quinn	2017-12-18
* \| \| \| \| \|	[doc] Nit on the manual.	Emilio Jesus Gallego Arias	2017-12-17
* \| \| \| \| \|	Merge PR #6219: Document undocumented options	Maxime Dénès	2017-12-15
\|\ \ \ \ \ \
\| \| \| \| * \| \|	Add documentation for time_constr	Jason Gross	2017-12-14
\| \| \| \|/ / /
\| \| \| * / /	Add doc+changelog entries for new LtacProf tactics	Jason Gross	2017-12-14
\| \|_\|/ / / \|/\| \| \| \|
* \| \| \| \|	Merge PR #978: In printing, experimenting factorizing "match" clauses with sa...	Maxime Dénès	2017-12-14
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6169: Clean up/deprecated options	Maxime Dénès	2017-12-14
\|\ \ \ \ \ \
\| \| \| * \| \| \|	Document Short Module Printing.	Gaëtan Gilbert	2017-12-14
\| \| \| * \| \| \|	Document Rewriting Schemes (quickly).	Gaëtan Gilbert	2017-12-14
\| \| \| * \| \| \|	Document Record Elimination Schemes.	Gaëtan Gilbert	2017-12-14
\| \| \| * \| \| \|	Document Asymmetric Patterns.	Gaëtan Gilbert	2017-12-14
\| \| \| * \| \| \|	Document some omega options (missing Omega Oldstyle).	Gaëtan Gilbert	2017-12-14
\| \| \| * \| \| \|	Add doc for Set Debug RAKAM.	Gaëtan Gilbert	2017-12-14
\| \| \| * \| \| \|	Add doc for Set Debug Cbv.	Gaëtan Gilbert	2017-12-14
\| \| \| * \| \| \|	Add doc for Set Info/Debug Auto/Trivial/Eauto.	Gaëtan Gilbert	2017-12-14
\| \| \| * \| \| \|	Add optindex for Set Bullet Behavior.	Gaëtan Gilbert	2017-12-14
\| \| \| * \| \| \|	Add doc for Set Congruence Verbose	Gaëtan Gilbert	2017-12-14
\| \| \| * \| \| \|	Fix typo in doc optindex for Typeclass Resolution ...	Gaëtan Gilbert	2017-12-14
\| \| * \| \| \| \|	Documenting the new options for printing "match".	Hugo Herbelin	2017-12-12
\| * \| \| \| \| \|	Remove deprecated appcontext and corresponding documentation.	Théo Zimmermann	2017-12-11
\| \|/ / / / /
* \| \| \| \| \|	[make] remove unneeded generated file "tolink.ml"	Emilio Jesus Gallego Arias	2017-12-10
* \| \| \| \| \|	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias	2017-12-10
\|/ / / / /