coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Remove (useless) aliases from the API.	Matej Košík	2017-06-10
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
*	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
\|\
\| *	Merge PR#432: [cleanup] Change Id.t option to Name.t in TacFun	Maxime Dénès	2017-03-14
\| \|\
\| * \|	Moving the Ltac plugin to a pack-based one.	Pierre-Marie Pédrot	2017-02-17
\| \| *	[cleanup] Change Id.t option to Name.t in TacFun	Tej Chajed	2017-02-16
\| \|/
* /	Ltac now uses evar-based constrs.	Pierre-Marie Pédrot	2017-02-14
\|/
*	Put the "generalize" tactic in the monad.	Pierre-Marie Pédrot	2016-05-16
*	Splitting the nsatz ML module into an implementation and a grammar files.	Pierre-Marie Pédrot	2016-03-06