coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[api] Remove Misctypes.	Emilio Jesus Gallego Arias	2018-06-12
*	[api] Remove deprecated object from `Term`	Emilio Jesus Gallego Arias	2018-05-30
*	Deprecate Refiner [evar_map ref] exported functions.	Gaëtan Gilbert	2018-05-14
*	Merge PR #6783: ssr: use `apply_type ~typecheck:true` everywhere (fix #6634)	Maxime Dénès	2018-03-08
\|\
\| *	ssr: use `apply_type ~typecheck:true` everywhere (fix #6634)	Enrico Tassi	2018-03-06
* \|	Separate vim/emacs fold markers from ocamldoc comments	mrmr1993	2018-03-05
\|/
*	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\
* \|	ssr: rewrite Ssripats and Ssrview in the tactic monad	Enrico Tassi	2018-03-04
\| *	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|/
*	apply_type: add option "typecheck" passed down to refine	Enrico Tassi	2018-02-16
*	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
*	Remove (useless) aliases from the API.	Matej Košík	2017-06-10
*	Put "ssreflect" behind "API".	Matej Košík	2017-06-07
*	Merge the ssr plugin.	Maxime Dénès	2017-06-06