coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Split the Ssrmatching module between code and grammar rules.	Pierre-Marie Pédrot	2018-06-30
*	[ssreflect] Fix module scoping problems due to packing and mli files.	Emilio Jesus Gallego Arias	2018-03-10
*	Escape curly braces in ocamldoc comment	mrmr1993	2018-03-05
*	ssr: rewrite Ssripats and Ssrview in the tactic monad	Enrico Tassi	2018-03-04
*	[api] Move structures deprecated in the API to the core.	Emilio Jesus Gallego Arias	2017-11-06
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	[api] Remove type equalities from API.	Emilio Jesus Gallego Arias	2017-07-25
*	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
*	Removing Proof_type from the API.	Pierre-Marie Pédrot	2017-06-16
*	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 located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\
\| *	Remove unused [open] statements	Gaetan Gilbert	2017-04-27
\| *	Remove some unused values and types	Gaetan Gilbert	2017-04-27
* \|	[location] Make location optional in Loc.located	Emilio Jesus Gallego Arias	2017-04-25
\|/
*	Merge branch 'master'.	Pierre-Marie Pédrot	2017-02-14
\|\
* \|	Porting the ssrmatching plugin to the new EConstr API.	Enrico Tassi	2017-02-14
\| *	Renamings to avoid confusion deprecating old names	Matthieu Sozeau	2016-10-22
\|/
*	Ssreflect pattern matching facilities	Enrico Tassi	2016-03-02