coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Merge PR #6911: [ssr] Declare prenex implicits for `Some_inj`	Maxime Dénès	2018-03-07
\|\
* \	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\ \
\| \| *	ssr: add Prenex Implicits for Some_inj to use it as a view	Anton Trunov	2018-03-04
\| \| \|
\| \| *	ssr: fix typo in doc comment	Anton Trunov	2018-03-04
\| \|/ \|/\|
* \|	Turn warning for deprecated notations on.	Théo Zimmermann	2018-03-02
\| \| \| \| \| \| \| \|	Fix new deprecation warnings in the standard library.
\| *	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|/
*	Merge the ssr plugin.	Maxime Dénès	2017-06-06