coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	A new step of restructuration of notations.	Hugo Herbelin	2017-08-29
*	Moving file primitive.ml to cPrimitive.ml to avoid conflict with OCaml.	Hugo Herbelin	2017-08-12
*	[api] Remove type equalities from API.	Emilio Jesus Gallego Arias	2017-07-25
*	[api] Put modules in order in API.{mli,ml}	Emilio Jesus Gallego Arias	2017-07-25
*	Merge PR #770: [proof] Move bullets to their own module.	Maxime Dénès	2017-07-19
\|\
* \|	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
* \|	Merge PR#803: Clean ssr	Maxime Dénès	2017-06-20
\|\ \
\| * \|	Removing Proof_type from the API.	Pierre-Marie Pédrot	2017-06-16
* \| \|	Squashed commit of the following:	Amin Timany	2017-06-16
\|/ /
\| *	[proof] Move bullets to their own module.	Emilio Jesus Gallego Arias	2017-06-12
\|/
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07