coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	hints: add Hint Variables/Constants Opaque/Transparent commands	Matthieu Sozeau	2018-07-02
*	Remove reference name type.	Maxime Dénès	2018-06-18
*	[api] Misctypes removal: several moves:	Emilio Jesus Gallego Arias	2018-06-12
*	Merge PR #7655: Refactor parsing rules for Hint Resolve -> and Hint Resolve <-	Pierre-Marie Pédrot	2018-06-04
\|\
\| *	Refactor parsing rules for Hint Resolve -> and Hint Resolve <-	Armaël Guéneau	2018-05-31
* \|	[notations] Split interpretation and parsing of notations	Emilio Jesus Gallego Arias	2018-05-31
* \|	[api] Move `Constrexpr` to the `interp` module.	Emilio Jesus Gallego Arias	2018-05-31
\|/
*	[api] Make `vernac/` self-contained.	Emilio Jesus Gallego Arias	2018-05-27
*	[api] [parsing] Move Egram* to `vernac/`	Emilio Jesus Gallego Arias	2018-05-27