coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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