coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Integration of a sphinx-based documentation generator.	Maxime Dénès	2018-03-09
*	Merge PR #6937: Add empty compat file for Coq 8.8	Maxime Dénès	2018-03-09
\|\
* \	Merge PR #6909: Deprecate Focus and Unfocus	Maxime Dénès	2018-03-08
\|\ \
* \ \	Merge PR #6582: Mangle auto-generated names	Maxime Dénès	2018-03-08
\|\ \ \
* \ \ \	Merge PR #6903: [compat] Remove "Shrink Abstract"	Maxime Dénès	2018-03-08
\|\ \ \ \
\| \| \| \| *	Add empty compat file for Coq 8.8	Jason Gross	2018-03-07
\| \|_\|_\|/ \|/\| \| \|
* \| \| \|	Remove outdated information regarding the FAQ.	Théo Zimmermann	2018-03-06
\| * \| \|	[compat] Remove "Shrink Abstract"	Emilio Jesus Gallego Arias	2018-03-06
\|/ / /
* \| \|	Merge PR #6896: [compat] Remove NOOP deprecated options.	Maxime Dénès	2018-03-06
\|\ \ \
* \ \ \	Merge PR #6824: Remove deprecated options related to typeclasses.	Maxime Dénès	2018-03-06
\|\ \ \ \
* \ \ \ \	Merge PR #6898: [compat] Remove "Intuition Iff Unfolding"	Maxime Dénès	2018-03-06
\|\ \ \ \ \
\| \| \| \| \| *	Deprecate Focus and Unfocus.	Théo Zimmermann	2018-03-05
\| \| \| * \| \|	[compat] Remove NOOP and alias deprecated options.	Emilio Jesus Gallego Arias	2018-03-04
\| \|_\|/ / / \|/\| \| \| \|
\| \| * \| \|	Remove deprecated options related to typeclasses.	Théo Zimmermann	2018-03-04
\| \|/ / / \|/\| \| \|
* \| \| \|	Merge PR #6791: Removing compatibility support for versions older than 8.5.	Maxime Dénès	2018-03-04
\|\ \ \ \
* \ \ \ \	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
\|\ \ \ \ \ \
\| \| \| \| \| \| *	Fix typos.	Théo Zimmermann	2018-03-04
\| \|_\|_\|_\|_\|/ \|/\| \| \| \| \|
\| \| \| \| * \|	[compat] Remove "Intuition Iff Unfolding"	Emilio Jesus Gallego Arias	2018-03-03
\| \|_\|_\|/ / \|/\| \| \| \|
\| \| \| * \|	Remove 8.5 compatibility support.	Théo Zimmermann	2018-03-02
\| \|_\|/ / \|/\| \| \|
\| \| * \|	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
\|/ /
\| *	Implement name mangling option	Jasper Hugunin	2018-02-17
\|/
*	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
\|\ \ \ \ \ \